Overview
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. See our
Component Index for more information.
Project Management
Mobius PVE development is managed by Mobius partner UCD. Project management is coordinated via the
Mobius Trac. See
Tools 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 Mobius PVE can be downloaded
here.
General project communication takes place via the
Mobius Tools mailing list. Some subsystems and components, like the
Bytecode Subsystem and the ExtendedStaticCheckingSubsystem have their own mailing lists.