Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool


The 21st Overture Workshop will be held on Friday 10 March 2023 co-located with FM 2023, hosted by University of L├╝beck, Germany.

Location: Room AM S2


09:00 - 09:30 Welcome from the chairs

09:30 - 10:00 International System of Quantities library in VDM (Leo Freitas) [Slides]

10:00 - 10:30 Implementation-First Approach of Developing Formal Semantics of a Simulat ion Language in VDM-SL (Tomohiro Oda, Gael Dur, Stephane Ducasse and Hugo Macedo) [Slides]

10:30 - 11:00 Coffee Break

11:00 - 11:30 Specification-based CSV support in VDM (Leo Freitas and Aaron John Buhagiar) [Slides]

11:30 - 12:00 VDM recursive functions in Isabelle/HOL (Leo Freitas and Peter Gorm Larsen)[Slides]

12:00 - 12:30 Topologically sorting VDM-SL definitions for Isabelle/HOL translation (Leo Freitas and Nick Battle)[Slides]

12:30 - 13:00 Lunch

13:00 - 13:30 Bidirectional UML Visualisation of VDM Models (Jonas Lund, Lucas Bjarke Jensen, Peter Gorm Larsen and Hugo Daniel Macedo)[Slides]

13:30 - 14:00 Modelling Chess in VDM++ (Morten Haahr Kristensen and Peter Gorm Larsen)[Slides]

14:00 - 14:30 Modelling Maritime SAR Sweep Widths for Helicopters in VDM (Alexander Sulaiman and Ken Pierce)[Slides coming soon]

14:30 - 15:30 Community status and open table discussion

15:30 - 16:00 Coffee Break


The 21st Overture Workshop is the latest in a series of workshops around the Vienna Development Method (VDM), the open-source project Overture, and related tools and formalisms. VDM is one of the best established formal methods for systems development. A lively community of researchers and practitioners in academia and industry has grown around the modelling languages (VDM-SL, VDM++, VDM-RT) and tools (including VDMTools, Overture, INTO-CPS, ViennaTalk, VDMJ and VDM VSCode). Together, these provide a platform for work on modelling and analysis technology that includes IDEs, static and dynamic analysis, test generation, execution support, and model checking.

Previous workshops have been invaluable in encouraging both new and established members of the community in their work, and helping to determine priorities and future directions. Proceedings of former workshops are available at https://www.overturetool.org/.

Important Dates

Sunday 15 January 2023: Submission of papers

Sunday 26 February 2023: Notification to authors

Sunday 5 March 2023: Final version of papers due

Friday 10 March 2023: Workshop


Our workshop provides a forum for discussing and advancing the state of the art in formal modelling and analysis using VDM and its family of associated formalisms including extensions for distributed VDM and real-time systems. We strongly welcome contributions on the development of tools for, as well as developments in, foundations and reports of practical experience. Each paper will be peer-reviewed by at least three members of the PC, must use the Springer LNCS format, and should not exceed 15 pages in length.

The scope of the workshop includes, but is not restricted to:




Program Chairs

General Chair

(Draft) Program Committee


All questions about submissions should be emailed to (hdm@ece.au.dk)

The online conference facility is provided by the Faculty of Technical Sciences at Aarhus University

AU Technical Sciences Logo


The participants of the 21st Overture workshop.