Static Analysis of String Encoders and Decoders

DOI10.1007/978-3-642-35873-9_14zbMath1426.68043OpenAlexW2194959641MaRDI QIDQ2926645

Margus Veanes, Loris D'Antoni

Publication date: 3 November 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-35873-9_14

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Forward Bisimulations for Nondeterministic Symbolic Finite Automata ⋮ Extended symbolic finite automata and transducers

Uses Software

• z3

This page was built for publication: Static Analysis of String Encoders and Decoders