The CAVA Automata Library

MaRDI QIDQ7361530FDO

Authors Peter Lammich

Publication date 28 May 2014

Cited in

(8)

• A Framework for Verifying Depth-First Search Algorithms
• Verified Construction of Static Single Assignment Form
• Promela Formalization
• A Fully Verified Executable LTL Model Checker
• Flow Networks and the Min-Cut-Max-Flow Theorem
• Verified Efficient Implementation of Gabow's Strongly Connected Components Algorithm
• Collections Framework
• Converting Linear-Time Temporal Logic to Generalized Büchi Automata

This page was built for software: The CAVA Automata Library