• TypeChecker for VDM++
• InterpreterDebugger for VDM++
• AutomaticProof support for VDM++

15 January 2007: The Third Overture Workshop was held at Newcastle University, UK, on 27 and 28 November 2006. The topic was semantics and tools, and the aim is to set a research agenda on foundations, semantics and tool support for VDM and Overture. The main outcome was the establishment of three research groups in semantics, tools, and methods and applications.

15 January 2007: Papers from all Three Overture Workshops are now available on the Wiki.

25 August 2006: The Third Overture Workshop will be held at Newcastle University, UK, on 27 and 28 November 2006. The topic will be semantics and tools, and the aim is to set a research agenda on foundations, semantics and tool support for VDM and Overture. Check out the call for participation^? or contact John Fitzgerald.

25 August 2006: Papers from the Second Overture Workshop, held on 21 August 2006 as part of the FM06 Symposium at McMaster University, Canada, are now available from the Workshop page^?. Check out the pictures too.

June 2006: Papers of the First Overture workshop are now also available as an integral technical report from Newcastle University. It may be cited as: Fitzgerald, J. S., Larsen, P. G., Plat, N.(Eds.) Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005, Technical Report CS-TR-969, School of Computing Science, Newcastle University, Jun 2006.

11 September 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]]. See the Overture Publications.

31 July 2005: The talks and presentations of the first Overture Workshop are now available on-line. Also have a look at the pictures.

4 June 2005: On Monday 18 July 2005 the first Overture Workshop will be held, co-located with FM'05 (Newcastle, UK).

-- JohnFitzgerald - 15 Jan 2007