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

LASER Summer School on Software Engineering


Applied Software Verification

Practical advances towards a Grand Challenge

September 9 - 15, 2007
Elba, Italy

Directors: Tony Hoare (Microsoft Research), Bertrand Meyer (ETH Zürich)



  • Static analysis for safety of sequential C programs
    Thomas Ball
  • Developing embedded systems with Scade / Esterel
    Gérard Berry

  • Verification of concurrency and transactions
    C.A.R. Hoare

  • Contract-Based Development with Eiffel
    Bertrand Meyer

  • Developing provably correct software with Spec# and Boogie
    Peter Müller

  • Proving software with PVS
    Natarajan Shankar


Chair of Software Engineering - ETH Zürich Last update: 23.08.2007