Hacker News new | ask | show | jobs
TLA+ is a language for modeling concurrent and distributed programs and systems (lamport.azurewebsites.net)
3 points by one2three4 1828 days ago