ProgramVerificationEnvironmentDescription

The Mobius verification environment supports the development of specifications, programs and proofs of their security properties. It will support both source code and bytecode level verification, and be able to produce the output necessary for the generation of PCC certificates.

Version: 1 Time: Fri Mar 28 12:55:14 2008 Author: dcochran (dcochran) IP: 193.1.132.32