Overture - Open Source Formal Methods Tools

Mission

The mission of the project is twofold:

  1. to provide an industrial-strength tool to allow the use of precise abstract models in software development, and
  2. to foster an environment that allows researchers and other interested parties to experiment with modifications and extensions to the tool.
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