2018
1 project
CONCURRENT ON-THE-FLY SCC-BASED LTL MODEL CHECKING
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...
Programming languages
TLA+
TLA+ is a formal specification language used to design, model and verify systems
eclipsejavaocamlsmttla+
Participation history
1 GSoC year
Official year page