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 : email@example.com