tlaplus/DrTLAPlus
View on GitHub ↗ ★ 860 TLA
Dr. TLA+ series - learn an algorithm and protocol, study a specification
3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2016-12-14 · latest 2022-02-03
20082026
-
…Awesome: https://github.com/tlaplus/awesome-tlaplus ### Dr TLA+ Web: https://github.com/tlaplus/DrTLAPlus Src: https://github.com/tlaplus/DrTLAPlus : > Dr. TLA+ series - learn an algorithm and protocol, study a specification ;
comment by westurner · 2022-02-03 · in Ask HN: Do you use TLA+? -
…systems look like, there's this lecture series, each on a different distributed algorithm: https://github.com/tlaplus/DrTLAPlus The kind of bugs you find when verifying distributed systems is, if this machine was in that state and that…
comment by pron · 2016-12-15 · in Coq 8.6 is out -
No; not yet, at least. But this is a lecture series about using TLA+ for distributed algorithms: https://github.com/tlaplus/DrTLAPlus There's also a Coq framework called Verdi ( http://verdi.uwplse.org ) for formalizing distributed…
comment by pron · 2016-12-14 · in Coq 8.6 is out