I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - A Fully Verified Executable LTL Model Checker


Javier Esparza, Peter Lammich, Rene Neumann, Tobias Nipkow, Alexander Schimpf, and Jan-Georg Smaus. A fully verified executable LTL model checker. In CAV, pages 463–478, 2013.

Suggested BibTeX entry:

    author = {Javier Esparza and Peter Lammich and Rene Neumann and Tobias Nipkow and Alexander Schimpf and Jan-Georg Smaus},
    booktitle = {CAV},
    pages = {463-478},
    title = {A Fully Verified Executable {L}{T}{L} Model Checker},
    year = {2013}

PDF (363 kB)