The overture initiative integrating tools for VDM

Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems using VDM. The mission is to both provide an industrialstrength tool set for VDM and also to provide an environment that allows researchers and other stakeholders to experiment with modifications and extensions to the tools and language. This paper presents the current status and future vision of the Overture project.

• Type: Journal
• Year: 2010
• Where: SIGSOFT
• Authors: Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
• Keywords: Common Open-source Platform, Community-based Initiative, SIGSOFT 2010, Software Engineering, Tools