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. ethereum-eips-ontology ethereum-eips-ontology Public

   Forked from prototypo/ethereum-eips-ontology

   An ontology of Ethereum terms extracted from the Ethereum glossaries and Ethereum Improvement Proposals (EIPs). Available in plain text and SKOS formats.

   Python 1

4. fault-tolerant-benchmarks fault-tolerant-benchmarks Public

   Forked from konnov/fault-tolerant-benchmarks

   Fault-tolerant distributed algorithms encoded in a formal language

   Python

5. Examples Examples Public

   Forked from tlaplus/Examples

   A collection of TLA+ specifications of varying complexities

   TLA

6. ftda_boogie ftda_boogie Public