Peter Gorm Larsen

Using the Overture Tool as a More General Platform

Research output: Contribution to conferencePaperResearch

The Overture project is aimed at developing an open platform to supply tool support to formal VDM model of systems. This paper presents the recent development of the Overture project and supplies an overview of recent initiatives building on top of Overture as a platform
Original languageEnglish
Publication yearJun 2012
Publication statusPublished - Jun 2012
EventiFM & ABZ 2012 - Pisa, Italy
Duration: 18 Oct 201221 Oct 2012


ConferenceiFM & ABZ 2012

See relations at Aarhus University Citationformats

ID: 50703396