ExternalSubsystemsExplanation

Currently eight major external subsystems are included in the PVE. All of these subsystems have programmatic interfaces available to PVE developers and are wrapped in Eclipse plugins for PVE users. Many of them are also tuned for verification, as described in the following pages.

These particular tools have been chosen for inclusion in the PVE because they have been very useful to Mobius partners in verification-centric software engineering over the past several years (KiniryZ08). As new tools appear in the Eclipse community, they are objective evaluated by Mobius partner UCD for inclusion in future releases of the PVE.