The "/wifidog-" file could not be found or is not available. Please select another file.

Overture: Formal Modelling in VDM

joeycoleman, lausdahl, mver, nick_battle, nicoplat

Download vdmj-1.0.0-jar-with-dependencies.jar

Browse All Files

Description

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.

Overture: Formal Modelling in VDM Web Site

Features

Combinatorial Testing
Static model checking
Debugging
Proof obligation generation
Formal verification

User Ratings

90% out of 100 based on 1 votes and 10 votes recommended Overture: Formal Modelling in VDM

Write a Review

User Reviews

Posted by Erik Kohler — 2011-12-15

Gorgeous Do the job!

Additional Project Details

Last Update

2012-01-06

Platform(s) Available

Windows Mac Linux

Registered

2005-06-13