About VSTTE

The VSTTE conference -- Verified Software: Theories, Tools, Experiments -- was held at ETH Zürich on 10-13 October 2005, as a working conference of IFIP (the International Federation for Information Processing), specifically TC2 (the IFIP committee on programming) and its Working Group 2.3 (Programming Methodology).

VSTTE was a historic event gathering the top international experts on systematic methods for specifying, building and verifying high-quality software. The conference was held as a response to Tony Hoare's Grand Challenge on the "verifying compiler", a vision of a world where programs would only be produced with machine-verified guarantees of adherence to specified behavior. While the horizon of the Challenge is 15 years, the conference showed that much of the groundwork has been done, resulting in numerous technologies available now to start addressing the Challenge.

As a result of the conference, a number of working groups have been put in place. The present site, in particular its Wiki part, remains available for further discussion of the issues and posting of materials related to the issues and techniques of Verified Software.

New!

• 3 November 2005): Report on the conference in the form of an interview of Bertrand Meyer in ETH Life, the ETH newspaper: English and German.
• 14 October 2005): Battle again the devil of programming mistakes, Article in the Neuer Zürcher Zeitung (main Zurich and Swiss-German newspaper), in German
• 13 October 2005: Contents of the memory stick (ZIP, TAR.GZ)
• October 2005: Conference report by Tony Hoare, Jayadev Misra, and N. Shankar
• 8 October 2005: The positions papers for the conference are now online.

Resources

• The "Grand Challenge" paper of Tony Hoare and Jay Misra.
• A FAQ sheet by Tony Hoare and Jay Misra.
• Conference Wiki

Proceedings

Sponsors

The conference was sponsored by the ETH Zürich, Microsoft Research, the National Science Foundation and Engineering and Physical Sciences Research Council. We would like to thank the sponsors for their support.