The Overture project is developing a set of open source Eclipse plug-ins to support the integration of various VDM modelling tools (Vienna Development Method). The aim is to provide support for all existing VDM tools and language dialects.
Release Date:
Topics:
License:
Features:
- Combinatorial Testing
- Static model checking
- Debugging
- Proof obligation generation
- Formal verification
Ratings and Reviews
- Thumbs up: 1
- Thumbs down: 0
Be the first to post a text review of Overture Tool. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
Tracker comment added
nick_battle commented on the VDMJ reports params unused in pre/post artifact -
Tracker comment added
nick_battle commented on the VDMJ scope hiding warnings incorrect artifact -
Code committed
-
Tracker artifact added
lausdahl created the Debug with VDM-RT thread view updating too fast artifact -
Tracker artifact added
lausdahl created the Breakpoints in VDM-SL not wokring artifact -
Tracker comment added
lausdahl commented on the Unable to create an Overture project artifact -
Tracker artifact added
nick_battle created the VDMJ reports params unused in pre/post artifact -
Tracker artifact added
nick_battle created the VDMJ scope hiding warnings incorrect artifact -
Code committed
-
Code committed
Rate and Review
Related Projects
-
Coupling Overture to UML
Coupling VDM++ to UML 2.1.2 in a bidirectional transformation. Done as a VDM++ specification and implemented in Java for Eclipse as a sub component to OvertureTools.
-
-
vieW4 (vienna World Wide Web Workgroups)
vieW4 (vienna World Wide Web Workgroups) is a collaboration server based on Zope. This program allows a group of people to share documents, discuss them and search for previous released documents in major formats.
Overture Tool Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
