Jan-Georg Smaus

A Fully Verified Executable LTL Model Checker

by Javier Esparza 🌐, Peter Lammich 🌐, René Neumann 📧, Tobias Nipkow 🌐, Alexander Schimpf 📧 and Jan-Georg Smaus 🌐