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é:   
Sequentialization and Bounded Model-checking
du groupe Modélisation et Verification

Date 2014-06-05  11:00-12:00
TitreSequentialization and Bounded Model-checking 
RésuméBounded model checking (BMC) has successfully been used for many practical program veri fication problems, but concurrency still poses a challenge. Sequentializations have emerged as an efficient technique to obtain analysis tools for concurrent programs by reusing tools designed for sequential programs. In this talk, we describe some recent results concerning the design and the implementation of efficient sequentializations targeted to using BMC tools as backends. The presented sequentializations are implemented in the tool CSeq (http://users.ecs.soton.ac.uk/gp4/cseq/cseq.html). 
Lieu076 
OrateurSalvatore La Torre 
Emaillatorre@dia.unisa.it 
UrlUniv. Salerno 



Aucun document lié à cet événement.

Retour
Retour à l'index