Top-level POM for OvertureTool
Last Published: 2009-10-08
Top-level POM for OvertureTool
Modules
The VDM++ Standard Library
The Overture Abstract Syntax
The Proof Obligation Translator
The VDM++ parser
The Automatic Proof Support
The VDMunit Support Library
Xml JUnit
Bi-directional OML to UML translator
Interface for VDM Tools
The VDMJ Interpreter
Combinatorial Testing of VDM++ models
The VDMJ Client
showtrace
Project Documentation
Project Information
About
Continuous Integration
Dependencies
Dependency Convergence
Issue Tracking
Mailing Lists
Plugin Management
Project License
Project Plugins
Project Summary
Project Team
Source Repository
Source Repository
No source configuration management system is defined. Please check back at a later date.