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é:   
Verifying parametrized asynchronous systems
du groupe Algorithmique Distribuée

Date 2015-04-13  14:00-15:00
TitreVerifying parametrized asynchronous systems 
RésuméThe talk should be a (gentle) introduction to verification problems for concurrent, asynchronous systems. I will focus on two models (among a large number!), one with shared memory and another one with asynchronous calls. The talk is based on the following papers: - Parameterized Verification of Asynchronous Shared-Memory Systems Javier Esparza, Pierre Ganty, and Rupak Majumdar CAV 2013 - Safety of parametrized asynchronous shared-memory systems is almost always decidable S. La Torre, A. Muscholl, I. Walukiewicz 2015 - Algorithmic Verification of Asynchronous Programs Pierre Ganty, and Rupak Majumdar ACM Transactions on Programming Languages and Systems 2012  
Lieu178 
OrateurAnca Muscholl  
UrlUniversité Bordeaux 



Aucun document lié à cet événement.

Retour
Retour à l'index