Verified Software: Theories, Tools, Experiments

Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to the latest Netscape.
More information

Verified Software: Theories, Tools, Experiments
print page


Many thanks to all speakers and participants who helped make VSTTE a milestone event!

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.




The proceedings are available directly by Springer LNCS4171, ISSN 0302-9743.


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.


Microsoft Research

National Science Foundation