CAVA_Automata Dependents

2017

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

by Peter Lammich and S. Reza Sefidgar

Jun 01

2016

A Framework for Verifying Depth-First Search Algorithms

by Peter Lammich and René Neumann

Jul 05

Verified Construction of Static Single Assignment Form

by Sebastian Ullrich and Denis Lohner

Feb 05

2014

Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm

by Peter Lammich

May 28

Promela Formalization

by René Neumann

May 28

Converting Linear-Time Temporal Logic to Generalized Büchi Automata

by Alexander Schimpf and Peter Lammich

May 28

A Fully Verified Executable LTL Model Checker

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

May 28

2009

Collections Framework

by Peter Lammich

Nov 25