String Analysis via Automata Manipulation with Logic Circuit Representation
Abstract elided by the publisher.
Related papers
- Hardware Verification using Monadic Second-Order Logic CAV 1995
- SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits PLDI 2026
- String constraints with concatenation and transducers solved efficiently POPL 2018
- CertiStr: a certified string solver CPP 2022
- HOLL: Program Synthesis for Higher Order Logic Locking TACAS 2022
- Beyond the elementary representations of program invariants over algebraic data types PLDI 2021
- An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits PLDI 2023
- An Evaluation of Automata Algorithms for String Analysis VMCAI 2011