Sites Inria

English version

Ecole d'été

VTSA 2018

L'école d'été sur la technologie, les systèmes et les applications de vérification aura lieu dans le centre du 27 au 31 août 2018.

  • Date : 27/08/2018 au 31/08/2018
  • Organisateurs : Stephan Merz, Sophie Drouot

Nous croyons que les trois aspects de la technologie de vérification, les systèmes et les applications dépendent fortement les uns des autres et que les progrès dans le domaine de l'analyse formelle et de la vérification ne peuvent être réalisés que si les trois aspects sont considérés comme un tout. Nos cinq conférenciers David Basin, Jean-Christophe Filliâtre, Peter Lammich, Anca Muscholl et Carsten Sinz défendent ce point de vue en ce sens qu'ils représentent et présenteront une technologie de vérification particulière et sa mise en œuvre dans un système afin d'appliquer avec succès l'approche aux problèmes de vérification du monde réel.

Contact : stephan.merz@inria.fr

Haut de page

Suivez Inria tout au long de son 50e anniversaire et au-delà !