discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
Hacker News
Verdi – Formally Verifying Distributed Systems (2016)
http://verdi.uwplse.org/
32 comments
9/7/2017