The overture initiative integrating tools for VDM

Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
2010 Software engineering notes  
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.
doi:10.1145/1668862.1668864 fatcat:id7qv2ccmbczbmmx6hjm4wnkoq