tools
Description
Verification of safety properties based on an automata-theoretic approach to software verification
Language
boogie c
Description
Termination analysis based on Büchi automata
Language
boogie c
Description
A software model checker
Language
boogie c
Description
Verification of safety properties using trace abstraction and abstract interpretation on path programs
Language
boogie c
Description
An LTL software model checker based on Büchi programs.
Language
c_cpp
Description
Synthesis of ranking functions and nontermination arguments
Language
boogie c
Description
Nested Word Automta, Büchi Nested Word Automta, Petri Net, Alternating Finite Automata, Tree Automata
Language
automata_script
Description
Petri net-based analysis of concurrent programs
Language
boogie
Description
Checking validity of given invariants
Language
boogie c
Description
Run SMT script
Language
smt