CAVA
From MaRDI portal
swMATH28570MaRDI QIDQ40284FDOQ40284
Author name not available (Why is that?)
Official website: https://cava.in.tum.de/CAVA_POR
Cited In (17)
- Transition_Systems_and_Automata
- Formal verification of an executable LTL model checker with partial order reduction
- AVL trees
- CAVA Automata Library
- Refinement Monadic
- Gabow SCC
- LTL_to_DRA
- LTL_to_GBA
- Stuttering Equivalence
- Real_Impl
- Treaps
- Tree Automata
- Program-Conflict-Analysis
- Boolean_Expression_Checkers
- Probabilistic_Prime_Tests
- Matroids
- Automatic refinement to efficient data structures: a comparison of two approaches
This page was built for software: CAVA
