Several existing systems, either developed by non-Mobius partners, or older systems developed by Mobius partners but not in the core focus of Mobius, are under review for incorporation into the Mobius PVE. These systems include:

• the ESC/Java tool suite
• the Ke Y^? tool suite
• the JACK tool suite
• the Bogor tool suite
• the Indus program slicer
• the Isabelle interactive theorem prover (via the Proof General Toolkit)
• the Cadena component development environment
• the Daikon invariant generator
• and others

Many existing software engineering components are being integrated at the moment. These include:

• the Check Clipse^? plugin
• the PMD plugin
• the Sub Version plugin
• the Find Bugs^? plugin