Evènement pour le 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