Symbolic Automata: The Toolkit
From MaRDI portal
Publication:2894292
DOI10.1007/978-3-642-28756-5_33zbMath1352.68138OpenAlexW1528783527MaRDI QIDQ2894292
Nikolaj Bjørner, Margus Veanes
Publication date: 29 June 2012
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-28756-5_33
Related Items (5)
Forward Bisimulations for Nondeterministic Symbolic Finite Automata ⋮ Automata-based symbolic string analysis for vulnerability detection ⋮ Computations by fly-automata beyond monadic second-order logic ⋮ Symbolic automata ⋮ Monadic Sequence Testing and Explicit Test-Refinements
Uses Software
This page was built for publication: Symbolic Automata: The Toolkit
