CONCURRENT ON-THE-FLY SCC-BASED LTL MODEL CHECKING
Contributor: 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...
Programming languages
TLA+
TLA+ is a formal specification language used to design, model and verify systems
Technologies
eclipseJavaocamlsmttla+
Topics
algorithmsformal methods
- Total projects
- 1
- Years participating
- 1
- Most recent
- 2018