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