model-checking topic
BlockingQueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
ewd998
Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
tool_lists
Links to tools by subject
sqa-wiki
My own notes (drafts mostly) about software quality
seahorn
SeaHorn Verification Framework
lime
Local Interpretable Model-Agnostic Explanations (R port of original Python package)
P
The P programming language.
new-tailwind-app
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
tlaplus
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
tla-rust
writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+