L’école d’été sur la technologie, les systèmes et les applications de vérification aura lieu à Nancy du 27 au 31 août 2018.
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.
Organisée par Inria en partenariat avec l’Université de la Grande Région, l’Université de Liège, l’Université du Luxembourg et le Max Planck Institute for Informatics.
