CAVA Automata Library
From MaRDI portal
swMATH28569MaRDI QIDQ40283FDOQ40283
Author name not available (Why is that?)
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
- Boolean_Expression_Checkers
- Automatic refinement to efficient data structures: a comparison of two approaches
This page was built for software: CAVA Automata Library
