Currently Task 3.6 (Mobius Program Verification Environment) participants are currently performing the following top-level subtasks:

• Reviewing Existing Technologies
• Active subsystem and component development: See Component Index for more information.
• Coordination With Non Mobius Partners