News
31-Aug-2010: The Overture IDE version 0.3.0 has been released.
02-Jul-2010: The 8th Overture Workshop will be jointly organized by the VDM Community and BCS-FACS. It will be held the 13th of September 2010 in London, UK.
02-Jul-2010: The new Overture website is now online.
01-Jul-2010: The new Overture Wiki site is now online and updated with content from the old Twiki.