A Framework for Verifying Depth-First Search Algorithms
by Peter Lammich and René Neumann
René Neumann
2016
2014
A Fully Verified Executable LTL Model Checker
by Javier Esparza, Peter Lammich, René Neumann, Tobias Nipkow, Alexander Schimpf and Jan-Georg Smaus