Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis

Shuanglong Kan, Anthony W. Lin

Finite Automata (FAs) are fundamental components in the domains of programming languages. For instance, regular expressions, which are pivotal in languages such as JavaScript and P…