Symbolic automata

swMATH13262MaRDI QIDQ25177FDOQ25177

Author name not available (Why is that?)

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