String Analysis via Automata Manipulation with Logic Circuit Representation

DOI10.1007/978-3-319-41528-4_13zbMath1411.68213OpenAlexW2501292226MaRDI QIDQ4633540

Tzung-Lin Tsai, Fang Yu, Jie-Hong R. Jiang, Chun-Han Lin, Hung-En Wang

Publication date: 3 May 2019

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-41528-4_13

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algorithms on strings (68W32)

Related Items (3)

Word equations in synergy with regular constraints ⋮ Chain-Free String Constraints ⋮ Unnamed Item

This page was built for publication: String Analysis via Automata Manipulation with Logic Circuit Representation