TLA+ is a formal specification language used to design, model and verify systems
Parv Mor
Project aims at implementation and proof of concurrent on-the-fly SCC detection algorithm to aid in liveness checking of TLC model checker. The goal...