Static Analysis of Communicating Processes Using Symbolic Transducers
Abstract elided by the publisher.
Related papers
- Streaming transducers for algorithmic verification of single-pass list-processing programs POPL 2011
- Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis CPP 2026
- Symbolic finite state transducers: algorithms and applications POPL 2012
- Minimization of Symbolic Transducers CAV 2017
- Fast: a transducer-based language for tree manipulation PLDI 2014
- Equivalence of Extended Symbolic Finite Transducers CAV 2013
- The Power of Symbolic Automata and Transducers CAV 2017
- Sigma*: symbolic learning of input-output specifications POPL 2013