1 paper · 1 filter
Simon Foster, Carlos Isasa, Christian Pardillo Laursen
Modelling of mutable state spaces and precisely describing how variables are manipulated in a program is a fundamental problem in compositional verification. Though we can make use…