DFS_Framework Dependents

2017

Transition Systems and Automata

by Julian Brunner

Oct 19

Flow Networks and the Min-Cut-Max-Flow Theorem

by Peter Lammich and S. Reza Sefidgar

Jun 01

2016

The Imperative Refinement Framework

by Peter Lammich

Aug 08

2014

A Fully Verified Executable LTL Model Checker

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

May 28