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)

 
   
 

Topics

  • 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