Overture: Formal Modelling in VDM Icon

User Ratings

★★★★★
★★★★
★★★
★★
2
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

  • oid-3872764
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    At my work we are using Overture as the primary tool for our development in formal methods and doing system modelling. Overture is a very stable and mature platform, and have with the exception of intellisense, the feature set that we expect from a modern IDE.

    Posted 06/07/2012
  • baragoz12
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    Gorgeous Do the job!

    Posted 12/15/2011