Hacker News
- The TLA+ Video Course http://lamport.azurewebsites.net/video/videos.html 3 comments
- The TLA+ Video Course by Leslie Lamport https://lamport.azurewebsites.net/video/videos.html 17 comments
Lobsters
- TLA+ Video Course http://lamport.azurewebsites.net/video/videos.html 2 comments formalmethods , video
- The TLA+ Video Course https://lamport.azurewebsites.net/video/videos.html 2 comments programming
- The TLA+ Video Course (Leslie Lamport) http://lamport.azurewebsites.net/video/videos.html 3 comments programming
Linking pages
- TLA+ in Practice and TheoryPart 1: The Principles of TLA+ https://pron.github.io/posts/tlaplus_part1 44 comments
- Notes on Paxos https://matklad.github.io/2020/11/01/notes-on-paxos.html 22 comments
- Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis - Hypothesis http://hypothesis.works/articles/how-not-to-die-hard-with-hypothesis/ 20 comments
- Can you guarantee that a function has no bugs? · Rogério Chaves https://rchaves.app/can-you-guarantee-no-bugs/ 12 comments
- Building A "Simple" Distributed System - Formal Verification — Jack Vanlightly https://jack-vanlightly.com/blog/2019/1/27/building-a-simple-distributed-system-formal-verification 12 comments
- GitHub - advancedtelematic/quickcheck-state-machine: Test monadic programs using state machine based models https://github.com/advancedtelematic/quickcheck-state-machine#readme 10 comments
- Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis | Into the Light http://nchammas.com/writing/how-not-to-die-hard-with-hypothesis 5 comments
- Why I use TLA+ and not(TLA+): Episode 1 | Protocols Made Fun https://protocols-made-fun.com/specification/modelchecking/tlaplus/quint/2024/10/05/tla-and-not-tla.html 4 comments
- Debug like Feynman, test like Faraday https://mmapped.blog/posts/05-debug-like-feynman.html 2 comments
- TLA+ Made Simple with ChatGPT | Cheng Huang’s corner https://zfhuang99.github.io/tla+/pluscal/chatgpt/2023/09/24/TLA-made-simple-with-chatgpt.html 2 comments
- GitHub - err0r500/foundational-knowledge-for-programmers: List of resources about foundational knowledge for programmers (supposed to last a few decades) https://github.com/err0r500/foundational-knowledge-for-programmers 1 comment
- GitHub - pingcap/awesome-database-learning: A list of learning materials to understand databases internals https://github.com/pingcap/awesome-database-learning 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- TLA+ for startups (part 2). The elevator pitch | by Neil O'Connor | Koodoo | Medium https://medium.com/koodoo/tla-for-startups-part-2-1ef288adab39 0 comments
- TLA+ for startups (part 1). Why formal specifications are not a… | by Neil O'Connor | Koodoo | Medium https://medium.com/koodoo/tla-for-startups-part-1-8b162863824b 0 comments
- Solving the “Wolf, Sheep and Cabbage” problem using TLA+ and the TLC model checker | by João Parreira | Medium https://medium.com/@jparreira/solving-the-wolf-sheep-and-cabbage-problem-using-tla-and-the-tlc-model-checker-28271a5afdfc 0 comments
- Describing State Machines using Math – TLA+ series (2) https://blog.the-pans.com/state-machine-in-math/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:lamport.azurewebsites.net
Search title: TLA+ Video Course
See how to search.