Symbolic automata: the toolkit

DOI10.1007/978-3-642-28756-5_33MaRDI QIDQ2894292zbMATH OpenOpenAlexFDO

Authors Margus Veanes, Nikolaj Bjørner

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Applications of symbolic finite automata
• The power of symbolic automata and transducers
• Minimization of symbolic automata
• Learning symbolic automata
• Extended symbolic finite automata and transducers

Cited in

(13)

• SMT-based generation of symbolic automata
• Automata Tutor v3
• Automata-based symbolic string analysis for vulnerability detection
• Symbolic automata
• Monadic Sequence Testing and Explicit Test-Refinements
• Symbolic automata for representing big code
• Forward bisimulations for nondeterministic symbolic finite automata
• scientific article; zbMATH DE number 2081040 (Why is no real title available?)
• Symbolic automata constraint solving
• Applications of symbolic finite automata
• Computations by fly-automata beyond monadic second-order logic
• Generating tokenizers with flat automata
• Variable automata over infinite alphabets

Describes a project that uses

Uses Software

• Stranger
• HAMPI

This page was built for publication: Symbolic automata: the toolkit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2894292)