Adrian Colyer (The Morning Paper) personal blog
TLA+ model checking made symbolic
TLA+ model checking made symbolic Konnov et al., OOPSLA’19 TLA+ is a formal specification language (Temporal Logic of Actions) particularly well suited to reasoning about distributed algorith…
- Points
- 197
- HN comments
- 51
- Submissions
- 1
- Cited by
- 0 commenters
Systems & PerformanceSoftware Engineering2019
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Nov 29, 2019 | TLA+ model checking made symbolic by feross | 197 | 51 |
