Résumé | I will present a recent paper of Esparza, Ganty and Majumdar (CAV'13, ) showing
that under the assumption of non-atomicity of R/W operations on the shared memory,
parameterized verification of pushdown processes becomes decidable.
Link to the paper: http://arxiv.org/pdf/1304.1185 |