-
Notifications
You must be signed in to change notification settings - Fork 8
MobiusToolsWiki
This page is the top-level page for the entire Mobius Tools Wiki, describing the Mobius ProgramVerificationEnvironment (PVE).
This wiki has been designed using the BonMethod (BON) by DermotCochran and JoeKiniry.
The Mobius Program Verification Environment (PVE) is used to design, program, test, and reason about (possibly concurrent) JML-annotated Java programs. The environment contains many different subsystems, each of which consists of a number of interacting components.
Mobius PVE development is managed by Mobius partner University College Dublin (UCD). Project management is coordinated via the Mobius Trac. See contacts for more information about partners responsible for project management and subsystem and component design and development.
Releases are regularly scheduled for approximately every two weeks (for components) and every four weeks (for subsystems). The first consortium-internal release took place on 1 October 2006.
General project communication takes place via the mailing lists. Some subsystems and components, like the ByteCodeSubsystem and the ExtendedStaticCheckingSubsystem have their own mailing lists.
The BON design of this Wiki can be downloaded as a single text file from [https://mobius.ucd.ie/browser/websites/MobiusToolsWiki/Design/MobiusToolsWiki.bon]
Version: 15 Time: Tue Jul 1 16:12:56 2008 Author: dcochran (dcochran) IP: 193.1.132.32