GOAL
From MaRDI portal
Software:33040
swMATH21229MaRDI QIDQ33040FDOQ33040
Author name not available (Why is that?)
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)
- Mediating for reduction (on minimizing alternating Büchi automata)
- Tool support for learning Büchi automata and linear temporal logic
This page was built for software: GOAL
