Symbolic automata

MaRDI QIDQ25177swMATHFDO

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

Described by source

• Symbolic automata: the toolkit

Cited in

(5)

• Stranger
• Automata-based symbolic string analysis for vulnerability detection
• Monadic Sequence Testing and Explicit Test-Refinements
• Forward bisimulations for nondeterministic symbolic finite automata
• Computations by fly-automata beyond monadic second-order logic

This page was built for software: Symbolic automata