Overture - Open Source Formal Methods Tools
The software that has been created as part of this project, can be downloaded from the Internet. For this download it is necessary to have a version of Eclipse (preferably the SDK edition of version 3.0 milestone build 9 or later) already installed on your system. Using Eclipse, it is possible to download the tool set using the Update Manager. In order to download the software, proceed as follows:
You can download the XML Schema definition for Overture from this location: Overture XML Schema definition
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