Skip to topic
|
Skip to bottom
IST-15905
Tools Web
Mobius Public Home
Mobius Intranet
Tools Web Home
Overview
Tools Summary
Tools Contacts
Component Index
Related Tools
Download Tools
Scientific Issues
Tools Publications
Project Management
Development Schedule
Project Status
Documentation And Coding Standards
Latest News
Tools Meetings
Site Visits
GForge
Tools
Index
Search
Changes
RSS Feed
Statistics
Preferences
Edit Toolbar
Help
Start of topic |
Skip to actions
---+ 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 ComponentIndex for more information. ---+ Project Management Mobius PVE development is managed by Mobius partner UCD. Project management is coordinated via the [[http:mobius.ucd.ie][Mobius Trac]]. See ToolsContacts 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 [[http://kind.ucd.ie/products/opensource/Mobius][here]]. General project communication takes place via the [[http://lists.gforge.inria.fr/mailman/listinfo/mobius-tools][Mobius Tools mailing list]]. Some subsystems and components, like the BytecodeSubsystem and the !ExtendedStaticCheckingSubsystem have their own mailing lists.
End of topic
Skip to action links
|
Back to top
r1.3 :
Edit
|
Attach image or document
|
Printable version
|
Raw text
|
Page history
|
More actions
You are here:
Tools
>
ToolsSummary
to top
Ideas, requests, problems regarding the Mobius site