Hacker News new | ask | show | jobs
by inaseer 1353 days ago
TLA+ and Coyote pair quite well actually. Verifying the high level design in TLA+ while checking subtle bugs as you translate that design to an implemention.