Hacker News new | ask | show | jobs
Quint: Executable Specs for Reliable Systems (quint-lang.org)
4 points by 0xcafefood 98 days ago