Sciweavers

SIGSOFT
2010
ACM

The overture initiative integrating tools for VDM

13 years 9 months ago
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.
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where SIGSOFT
Authors Peter Gorm Larsen, Nick Battle, Miguel Ferreira, John S. Fitzgerald, Kenneth Lausdahl, Marcel Verhoef
Comments (0)