Symbolic automata

swMATH13262MaRDI QIDQ25177FDOQ25177

Author name not available (Why is that?)

Described by source

• Symbolic Automata: The Toolkit

Cited In (4)

• Forward Bisimulations for Nondeterministic Symbolic Finite Automata
• Monadic Sequence Testing and Explicit Test-Refinements
• Computations by fly-automata beyond monadic second-order logic
• Automata-based symbolic string analysis for vulnerability detection

This page was built for software: Symbolic automata