Hacker News new | ask | show | jobs
by karl_schlagenfu 2631 days ago
How does this compare with other formal methods like Z? Has anyone here used them successfully in the field?