This website is about the 2011 edition of the school. Visit this year's edition of LASER.

8th LASER Summer School on Software Engineering


Tools for Practical Software Verification

September 4-10, 2011 - Elba Island, Italy

Edmund Clarke (Carnegie Mellon)
Patrick Cousot (École Normale Supérieure)
Patrice Godefroid (Microsoft Research)
Rustan Leino (Microsoft Research)
Bertrand Meyer (ETH Zurich)
César Muñoz (NASA Langley Research Center)
Christine Paulin-Mohring (Université Paris-Sud)
Andrei Voronkov (University of Manchester)




Student Presentations

Monday September 5th

  • 18:10-18:30: A Certified Multi-Language Multi-prover Verification Condition Generator - Paolo Herms - Abstract
  • 18:30-18:50: Interactive Formal Verification of Object-Oriented Code - Hannes Mehnert - Abstract

Friday September 9th

  • 18:10-18:30: Applying Model Checking Reduction Techniques to Certify the Quality of a Network Monitoring Application - Francesco Spegni - Abstract
  • 18:30-18:50: CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes - Hubert Garavel - Abstract

Chair of Software Engineering - ETH Zurich Last update: 12.08.2011