Sites Inria

Version française

Summer School

VTSA 2018

The summer school on verification technology, systems & applications takes place at Inria Center Nancy, France from August 27 - August 31, 2018

  • Date : 27/08/2018 to 31/08/2018
  • Organiser(s) : Stephan Merz, Sophie Drouot

We believe that all three aspects verification technology, systems & applications strongly depend on each other and that progress in the area of formal analysis and verification can only be made if all three aspects are considered as a whole. Our five speakers David Basin, Jean-Christophe Filliâtre, Peter Lammich, Anca Muscholl and Carsten Sinz stand for this view in that they represent and will present a particular verification technology and its implementation in a system in order to successfully apply the approach to real world verification problems.

Contact :