3 citations · 4 across the 4 of their papers we have counts for
1 paper · 1 filter
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…