Symbolic automata
From MaRDI portal
Software:25177
No author found.
Related Items (4)
Forward Bisimulations for Nondeterministic Symbolic Finite Automata ⋮ Automata-based symbolic string analysis for vulnerability detection ⋮ Computations by fly-automata beyond monadic second-order logic ⋮ Monadic Sequence Testing and Explicit Test-Refinements
This page was built for software: Symbolic automata
