Introduction to TLA+ model checking on the command line | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Introduction to TLA+ model checking on the command line (medium.com/bellmar)
		3 points by fanf2 85 days ago \| hide \| past \| favorite \| 1 comment

gnabgib 84 days ago [–]

(2019) At the time (176 points, 44 comments) https://news.ycombinator.com/item?id=18937214

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact