CAVA Automata Library

MaRDI QIDQ40283swMATHFDO

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

Cited in

(13)

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

This page was built for software: CAVA Automata Library