GOAL
From MaRDI portal
Software:33040
No author found.
Related Items (6)
State of B\"uchi 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 ⋮ Unnamed Item
This page was built for software: GOAL
