Overture 2.6.4 is out! Get it here overturetool.org/download/

The 17th Overture Workshop will be held on October 08 in Porto, as part of @formalmethods19 Info and call: overturetool.org/workshops/17th…

Overture 2.7.0 is out! Get it here: overturetool.org/download/ Enjoy!

Accepted papers and registration information for Overture 2019 are online: overturetool.org/workshops/17th…. If you 're interested in VDM and associated technologies, register for the workshop @formalmethods19

FM Week 🆕 The Final Program of ➡️ OVT 2019 ⬅️ is out: bit.ly/2ZAb6T2 😀 For all final programs already available please visit bit.ly/2ZleoW6 #formalmethods Formal Methods Europe

Attention VDMers! The 17th Overture Workshop is almost here. We look forward to seeing you as part of @formalmethods19. Details: overturetool.org/workshops/17th…

Overture 2.7.2 is out! Get it here overturetool.org/download/

The participants of the 17th Overture workshop, 2019 in Porto! #formalmethods #formalmethods19 #Porto

Overture 2.3.8 has just been released. You can download it at overturetool.org/download/ -- Enjoy!

Overture 2.4.0 has just been released. It contains two new language features! See overturetool.org/download/

Overture, version 2.4.2, is now available at overturetool.org/download/

Overture 2.4.4 is out! Get it at overturetool.org/download/

Overture 2.4.6 is out! Get it here: overturetool.org/download/

We are happy to announce the 15th Overture workshop! Please consider contributing overturetool.org/workshops/15th…

Overture 2.4.8 is out! Get it at overturetool.org/download/

Overture 2.5.0 is out! This new release contains a new order/equality relation feature. Get it at overturetool.org/download/

Overture 2.5.2 is out! Get it at overturetool.org/download/

Overture 2.5.4 is out! Get it here overturetool.org/download

Overture 2.5.6 is out! Get it here overturetool.org/download

Overture 2.6.0 is out! This release contains a new version of VDM's 'measure' clause feature. Get it here overturetool.org/download/