tools
Description
Verification of safety properties based on an new 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, and Alternating Finite Automata
Language
automata_script
Description
Experimental version of an analysis for concurrent programs
Language
boogie