Hacker News new | ask | show | jobs
by lallysingh 6164 days ago
Formal methods for proving timeliness, correctness, etc. Preferably in tools that mechanically verify those properties.