Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments

About | Content | Chairs & Committees | Discussion Forum

Conference Program | Keynote Speakers | Position Papers

Venue | Register | Local Information

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

Keynote Speakers

	Thomas Ball The Verified Software Challenge: A Call for a Holistic Approach to Reliability Microsoft Research, USA, homepage, position paper
	Patrick Cousot The Verification Grand Challenge and Abstract Interpretation École normale supérieure, Paris, homepage, position paper
	Anthony Hall Software Verification and Software Engineering: A Practitioner's Perspective Oxford, United Kingdom, homepage, position paper
	Gerard Holzmann Reliable Software Systems Design NASA/JPL Laboratory for Reliable Software, Pasadena, CA., USA, homepage, abstract
	Mathai Joseph Formal Techniques in Large Scale Software Engineering Tata Consultancy Services, homepage, paper draft
	J Moore A Mechanized Program Verifier University of Texas at Austin, USA, homepage, position paper
	Greg Nelson Extended static checking HP SRC Classic, Palo Alto, USA, homepage, abstract
	Wolfgang Paul Towards a Worldwide Verifcation Technology Universität Saarbrücken, Germany, homepage, position paper
	Amir Pnueli Development of Reactive Systems: Property-Based vs. Model-Based New York University, USA, and Weizmann Institute of Science, Israel, homepage, abstract
	Thomas W. Reps Interprocedural analysis, and some remaining challenges University of Wisconsin-Madison, USA, homepage, position paper
	John Rushby Integrating Verification Components SRI International, homepage, position paper

!!! Dieses Dokument stammt aus dem ETH Web-Archiv und wird nicht mehr gepflegt !!!
!!! This document is stored in the ETH Web archive and is no longer maintained !!!