GOAL
From MaRDI portal
GOAL Q33040
Cited in
(6)- State of Büchi complementation
- Testing with Büchi automata: transition coverage metrics, performance analysis, and property refinement
- State coverage metrics for specification-based testing with Büchi automata
- Mediating for reduction (on minimizing alternating Büchi automata)
- Tool support for learning Büchi automata and linear temporal logic
- Mediating for reduction (on minimizing alternating Büchi automata)
This page was built for software: GOAL
