| p-org/P |
2,845 |
|
0 |
1 |
over 2 years ago |
3 |
April 04, 2023 |
17 |
mit |
C# |
| The P programming language. |
| tlaplus/tlaplus |
2,154 |
|
0 |
0 |
about 2 years ago |
0 |
|
241 |
mit |
Java |
| TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. |
| model-checking/kani |
1,699 |
|
0 |
0 |
about 2 years ago |
44 |
November 28, 2023 |
498 |
apache-2.0 |
Rust |
| Kani Rust Verifier |
| spacejam/tla-rust |
831 |
|
0 |
0 |
almost 9 years ago |
0 |
|
1 |
|
TLA |
| writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+ |
| AliveToolkit/alive2 |
634 |
|
0 |
0 |
about 2 years ago |
0 |
|
56 |
mit |
C++ |
| Automatic verification of LLVM optimizations |
| thomasp85/lime |
470 |
|
3 |
3 |
over 3 years ago |
8 |
August 19, 2022 |
49 |
other |
R |
| Local Interpretable Model-Agnostic Explanations (R port of original Python package) |
| lemmy/BlockingQueue |
461 |
|
0 |
0 |
almost 3 years ago |
0 |
|
3 |
mit |
TLA |
| Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history! |
| seahorn/seahorn |
391 |
|
0 |
0 |
over 2 years ago |
0 |
|
20 |
other |
C |
| SeaHorn Verification Framework |
| informalsystems/apalache |
387 |
|
0 |
0 |
about 2 years ago |
0 |
|
292 |
apache-2.0 |
Scala |
| APALACHE: symbolic model checker for TLA+ and Quint |
| parapluu/Concuerror |
340 |
|
0 |
0 |
7 months ago |
2 |
October 31, 2020 |
16 |
bsd-2-clause |
Erlang |
| Concuerror is a stateless model checking tool for Erlang programs. |
