CAVA
From MaRDI portal
Cited in
(17)- Automatic refinement to efficient data structures: a comparison of two approaches
- Refinement Monadic
- CAVA Automata Library
- AVL trees
- Stuttering Equivalence
- Treaps
- LTL_to_DRA
- Tree Automata
- Gabow SCC
- LTL_to_GBA
- Real_Impl
- Program-Conflict-Analysis
- Boolean_Expression_Checkers
- Probabilistic_Prime_Tests
- Transition_Systems_and_Automata
- Matroids
- Formal verification of an executable LTL model checker with partial order reduction
This page was built for software: CAVA
