HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by akkad33 | Hacker News Reader
Parent
Full thread
akkad33
·
TLA+ ensures your model is correct, not that the code is correct
View on HN
No comments yet.