Overview

This one-day workshop on Verified Software continues the discussion initiated at the IFIP Working Conference on Verified Software in Zurich, Switzerland.  Consisting of contributed papers and invited talks, the workshop will focus on the development of systematic methods for specifying, building, and verifying high-quality software. This includes topics like:

• Program logic
• Specification and verification techniques
• Design methodologies
• Automated verification tools
• Tool integration
• Achieving scale and automation in formal verification
• Experimental studies
• Benchmark applications and challenges
• Tool and benchmark repositories

Program

• VSTTE program
• VSTTE accepted papers

Publication

Proceedings of the workshop will be published as a Microsoft Research technical report.

Program committee

• Marieke Huisman, INRIA Sophia Antipolis, France
• K. Rustan M. Leino (co-chair), Microsoft Research, USA
• Claude Marché, Université Paris-Sud, France
• Wolfgang J. Paul, Saarland University, Germany
• Wolfram Schulte (co-chair), Microsoft Research, USA
• Cesare Tinelli, University of Iowa, USA
• Arnaud Venet, Kestrel Technologies, USA

Sponsoring Conference

CAV 2006