Overture - Open Source Formal Methods Tools
All the Java source code and public documents will be maintained through SourgeForge. We expect to upload the first public release of the Overture kernel mid August 2005.
On Monday 18 July 2005 the first Overture Workshop was held, co-located with FM'05 (Newcastle, UK). The programme, all papers and the presentations can be found here. Also have a look at the pictures.
If you want to learn more about the Overture Modelling Language (OML), aka VDM++, then visit the web site of Validated Designs for Object-oriented Systems.
26 August 2006
The Third Overture workshop will be held at
Newcastle University
(27-28 November 2006). Look at the call for participation.
25 August 2006
Papers
of the Second Overture workshop that was held on 21 August at
FM'06.
11 Sept 2005
The MSc thesis of Jacob Porsborg Nielsen and Jens Kielsgaard Hansen, describing the architecture of the Overture Eclipse plug-in is now available on-line.
Overture © 2004, 2005