Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
On the parameterized verification of asynchronous shared-memory systems
du 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