Overture

Overture is a community-based project developing the next generation of open-source tools to support modelling and analysis in the design of computer-based systems. Overture supports VDM: The Vienna Development Method, a set of modelling techniques with a long and successful history of industrial application and research. Overture is an integrated development environment (IDE) for developing VDM models.

 

overture_logo

 

crescendo_logo_128x128x32

Leave a Reply

Your email address will not be published. Required fields are marked *

*