Peter Gorm Larsen

Using the Overture Tool as a More General Platform

Research output: ResearchPaper

  • Claus Ballegård Nielsen
    Claus Ballegård NielsenDenmark
  • Kenneth Lausdahl
    Kenneth LausdahlDenmark
  • Peter Gorm Larsen
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
StatePublished - Jun 2012
EventiFM & ABZ 2012 - Pisa, Italy
Duration: 18 Oct 201221 Oct 2012

Conference

ConferenceiFM & ABZ 2012
CountryItaly
CityPisa
Period18/10/201221/10/2012

See relations at Aarhus University Citationformats

ID: 50703396