- Vienna, Austria
Block or Report
Block or report banhday
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePopular repositories
-
tlatools_tthai
tlatools_tthai PublicThis 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
-
-
fault-tolerant-benchmarks
fault-tolerant-benchmarks PublicForked from konnov/fault-tolerant-benchmarks
Fault-tolerant distributed algorithms encoded in a formal language
Python
-
Examples
Examples PublicForked from tlaplus/Examples
A collection of TLA+ specifications of varying complexities
TLA
-
-
If the problem persists, check the GitHub status page or contact support.