3 ms·
Refinement-based approach to reasoning of optimized reactive systems
- PaulHoule 8y agoNice submission, but it should be just "Refinement-based approach to reasoning of optimized reactive systems" and not start with "Show HN". For some reason, people feel compelled to put "Show HN" at the beginning of ordinary posts.