Symbolic automata

MaRDI QIDQ25177swMATHFDO

Official website http://research.microsoft.com/pubs/157565/symAutTACAS12.pdf

Described by source

• Symbolic automata: the toolkit

Cited in

(5)

• Forward bisimulations for nondeterministic symbolic finite automata
• Stranger
• 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