Overture - Open Source Formal Methods Tools
The Third Overture workshop on semantics and tools will be held at Newcastle University on 27 and 28 November 2006. Please have a look at the call for participation.
Papers of the Second Overture workshop that was held on 21 August at FM'06 are now available on-line.
The papers of the First Overture workshop are now also available as an integral technical report from Newcastle University.
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.
The talks and presentations of the first Overture Workshop are now available on-line. Also have a look at the pictures
On Monday 18 July 2005 the first Overture Workshop will be held, co-located with FM'05 (Newcastle, UK).
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