tlaplus/awesome-tlaplus
View on GitHub ↗ ★ 202
A curated list of TLA+ resources.
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2022-02-03 · latest 2024-08-28
20082026
-
…> awesome-tlaplus > Books, (University) courses teaching (with) TLA+: https://github.com/tlaplus/awesome-tlaplus#books FizzBee, Nagini, deal-solver, z3, dafny; https://news.ycombinator.com/item?id=39904256#39938759 , "Industry f
comment by westurner · 2024-08-28 · in The Future of TLA+ [pdf] -
…https://learnxinyminutes.com/ awesome-tlaplus > Books, (University) courses teaching (with) TLA+: https://github.com/tlaplus/awesome-tlaplus#books
comment by westurner · 2024-07-16 · in Tlsd: Generate (message) sequence diagrams from TLA+ state traces -
…Wikipedia: https://en.wikipedia.org/wiki/TLA%2B Src: https://github.com/tlaplus/tlaplus Awesome: https://github.com/tlaplus/awesome-tlaplus ### Dr TLA+ Web: https://github.com/tlaplus/DrTLAPlus Src: https://github.com/tlaplus/DrTLAPlus : >…
comment by westurner · 2022-02-03 · in Ask HN: Do you use TLA+?