A Fully Verified Executable LTL Model Checker.

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

Browse the full CAV paper archive.