Thanh-Hai Tran's repositories
tlatools_tthai
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 solvers, IC3-based techniques and user-guided predicate abstraction.
tlabenchmarks
A thousand and one of TLA<sup>+</sup> specifications
fault-tolerant-benchmarks
Fault-tolerant distributed algorithms encoded in a formal language
multicast-algorithms
Checking Skeen, Zab, and White-box atomic multicast with APALACHE and TLC
Language:TLA000
netys20
Our TLA+ specification for the failure detector of Chandra and Toueg
Language:TLA000
Language:TLA000
Language:Python000