Overture: Formal Modelling in VDM
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 SiteFeatures
- Combinatorial Testing
- Static model checking
- Debugging
- Proof obligation generation
- Formal verification
User Ratings
User Reviews
-
Gorgeous Do the job!