Evènement pour le groupe Modélisation et Verification


Date 2015-01-22  11:00-12:00
TitreOn the parameterized verification of asynchronous shared-memory systems 
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 
Lieu076 
OrateurAnca Muscholl 
Emailanca@labri.fr 
UrlLaBRI 



Aucun document lié à cet événement.

Retour
Retour à l'index