Symbolic String Transformations with Regular Lookahead and Rollback

DOI10.1007/978-3-662-46823-4_27zbMath1434.68117OpenAlexW1139689124MaRDI QIDQ3455084

Margus Veanes

Publication date: 3 December 2015

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

Full work available at URL: https://doi.org/10.1007/978-3-662-46823-4_27

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Bex

Uses Software

• z3
• JavaScript
• Sigma*
• Merlin
• Saner

This page was built for publication: Symbolic String Transformations with Regular Lookahead and Rollback