login sign up

Introduction to TLA+ Model Checking in the Command Line

medium.com · first added by @afreshcup
saved by
1 person
discussions · 2
Introduction to TLA+ Model Checking in the Command Line 176 pts · 44 comments · Jan 2019 176 pts · 44 comments · Jan 2019
0 people saved or upvoted this
see all 2 →
Introduction to TLA+ model checking on the command line 3 pts · 1 comment · Dec 2025 3 pts · 1 comment · Dec 2025
0 people saved or upvoted this
from the discussion · 5
The TLA+ Video Course by Leslie Lamport lamport.azurewebsites.net lamport.azurewebsites.net
0 people saved or upvoted this
GitHub - elastic/elasticsearch-formal-models: Formal models of core Elasticsearch algorithms github.com github.com
0 people saved or upvoted this
Spin - Formal Verification spinroot.com spinroot.com
0 people saved or upvoted this
Cloud based distributed TLC tla.msr-inria.inria.fr tla.msr-inria.inria.fr
0 people saved or upvoted this
check.sh - kernel/git/cmarinas/kernel-tla.git - Kernel TLA+ specs git.kernel.org git.kernel.org
0 people saved or upvoted this
related HN threads · 1
The TLA+ Video Course by Leslie Lamport 219 pts · 17 comments · Apr 2018 219 pts · 17 comments · Apr 2018
0 people saved or upvoted this