GOAL

swMATH21229MaRDI QIDQ33040FDOQ33040

Author name not available (Why is that?)

Cited In (6)

• State of B\"uchi Complementation
• 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
• Testing with Büchi Automata: Transition Coverage Metrics, Performance Analysis, and Property Refinement

This page was built for software: GOAL