collaborators

1 paper

cs.SE2016

Static Analysis of Communicating Processes using Symbolic Transducers

Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall

We present a general model allowing static analysis based on abstract interpretation for systems of communicating processes. Our technique, inspired by Regular Model Checking, repr…