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.