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.


http://www.overturetool.org





Separate each tag with a space.

Release Date:

2009-10-23

Topics:

License:

Features:

  • Combinatorial Testing
  • Static model checking
  • Debugging
  • Proof obligation generation
  • Formal verification

Ratings and Reviews

  • Thumbs up:

    1
  • Thumbs down:

    0
100% of 1 user recommends this project

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.

View all reviews

Project Feed

Rate and Review

Would you recommend this project?






<

Related Projects

Overture Tool Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review