CAVA Automata Library

MaRDI QIDQ40283swMATHFDO

Authors Peter Lammich

Publication date 28 May 2014

Official website https://www.isa-afp.org/entries/CAVA_Automata.html

Cited in

(13)

• Automatic refinement to efficient data structures: a comparison of two approaches
• Refinement Monadic
• CAVA
• Stuttering Equivalence
• LTL_to_DRA
• Tree Automata
• Gabow SCC
• LTL_to_GBA
• Real_Impl
• Program-Conflict-Analysis
• Boolean_Expression_Checkers
• Transition_Systems_and_Automata
• Formal verification of an executable LTL model checker with partial order reduction

This page was built for software: CAVA Automata Library