Static Analysis of Communicating Processes Using Symbolic Transducers.

Vincent Botbol, Emmanuel Chailloux, Tristan Le Gall

Browse the full VMCAI paper archive.