Private

VerifiedByConstruction by Gary T. Leavens — last modified 2006-07-21 16:16

Folder for work by the Verified by Construction VSTTE committee. This committee's work is now finished. See the roadmap.pdf file or the technical report version for the report of the committee.

Tool Interoperability by shankar — last modified 2005-12-06 00:35

Discussion area for panel on tool interoperability

Theory by David Naumann — last modified 2005-12-06 19:17

Discussion area for panel on Theory

Repository by shankar — last modified 2006-02-02 13:58

Private area for organizing the verified software repository.

Verified Software Roadmap 2006 by shankar — last modified 2006-03-16 18:55

Folder for drafting roadmap document. There will be a meeting in Menlo Park on April 1, 2, 2006 for producing a comprehensive draft. Email shankar at csl.sri.com if you would like to attend. Feel free to edit the contents here.

Pilot Projects by shankar — last modified 2006-03-30 16:14

Several possible pilot verification case studies are listed here. The entries contain a brief description of the scope of the project together with links to more information.

Certification by John Rushby — last modified 2006-04-02 10:25

Contribution of VSR to system-level issues, particularly certification

IEEE Computer paper on Verified Software: A Grand Challenge by Jim Woodcock — last modified 2006-04-03 10:07

A copy of a paper to appear in *IEEE Computer* Software Technologies column. The paper is copyright IEEE, so it is restricted to the private area of the wiki for the time being.

Dynamic Analysis by Klaus Havelund — last modified 2006-04-16 14:59

Techniques for checking program runs against specifications. For example unproved proof obligations left over from proofs.