Abstract Symbolic Automata

DOI10.1145/2676726.2676986zbMath1345.68100OpenAlexW2017796755MaRDI QIDQ2819818

Roberto Giacobazzi, Arun Lakhotia, Isabella Mastroeni, Mila Dalla Preda

Publication date: 29 September 2016

Published in: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2676726.2676986

zbMATH Keywords

abstract interpretationsymbolic automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Abstract interpretation as automated deduction ⋮ Abstract similarity analysis ⋮ Inferring Symbolic Automata ⋮ Twinning automata and regular expressions for string static analysis

This page was built for publication: Abstract Symbolic Automata