Popular repositories Loading

1. tlatools_tthai tlatools_tthai Public

   This repository is a source code of my master thesis. In my master thesis, I developed a prototype to translate TLA+ expressions to the SMT-LIB language, and to verify safety properties with SMT so…

   Java 3

2. tlabenchmarks tlabenchmarks Public

   A thousand and one of TLA⁺ specifications

   CSS 1

3. fault-tolerant-benchmarks fault-tolerant-benchmarks Public

   Forked from konnov/fault-tolerant-benchmarks

   Fault-tolerant distributed algorithms encoded in a formal language

   Python

4. Examples Examples Public

   Forked from tlaplus/Examples

   A collection of TLA+ specifications of varying complexities

   TLA

5. ftda_boogie ftda_boogie Public

6. FORTE2021-FD FORTE2021-FD Public

   F*