CAVA_Automata Dependents
2017
2016
2014
Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm
by Peter Lammich
Converting Linear-Time Temporal Logic to Generalized Büchi Automata
by Alexander Schimpf and Peter Lammich
A Fully Verified Executable LTL Model Checker
by Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf and Jan-Georg Smaus