Recent Release Updates

1 October 2006

The initial, Mobius partner-internal releases of several subsystems and components of the Mobius Program Verification Environment are taking place this week. On 1 October the first beta release of ESC/Java2 was made available. In the coming days other new and updated components will be posted, culminating in a full, preconfigured Eclipse environment download for multiple platforms.

The first beta version of ESC/Java2 (version 2.0b0) has been released. It is available both on the Mobius GForge as well as the UCD GForge.