login sign up

User Guide to Model Checking for Industrial Programmers with TLA+

news.ycombinator.com
saved by
0 people
related read on
Why Don't People Use Formal Methods? related HN threads