Overture - Open Source Formal Methods Tools

Contact

You can contact the Overture project by
e-mail:

We also maintain a mailing list for active members of Overture. If you wish to be on this mailing list, send us an e-mail.

We manage the project amongst others by regular Internet meetings using Messenger. These are normally held once a month in the weekend. These net meetings are announced on the mailing list mentioned above.

News

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