A Fully Verified Executable LTL Model Checker

MaRDI QIDQ7361160FDO

Authors Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf, Jan-Georg Smaus

Publication date 28 May 2014

Cites work

• Unnamed Publication
• Tools and Algorithms for the Construction and Analysis of Systems
• Verified efficient implementation of Gabow's strongly connected component algorithm

This page was built for software: A Fully Verified Executable LTL Model Checker