Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool


The 18th Overture Workshop will be held on 07 December 2020 online using Microsoft Teams.


To register for this workshop, please email overture18request@gmail.com to request the link to participate.


Each presentation slot lasts 40 minutes. In order to allow time for discussion, no presentation should exceed 30 minutes.

Authors are invited to record their presentations as video if desired. If you would like to do this, we will arrange for it to be uploaded and played during your slot. We would also welcome presentations that we can subsequently make available online. If you wish to prepare a pre-recording, please contact Tomohiro Oda (tomohiro@sra.co.jp) for instructions on how to upload.


All timings are in UTC (same as UK/Ireland/Portugal time)

0800-0810 Welcome

0810-0850 Specifying Abstract User Interface in VDM-SL (Tomohiro Oda, Keijiro Araki, Yasuhiro Yamamoto, Kumiyo Nakakoji, Han-Myung Chang and Peter Larsen) Presentation

0850-0930 Modelling the HUBCAP Sandbox Architecture In VDM: a Study In Security (Tomas Kulik, Hugo Daniel Macedo, Prasad Talasila and Peter Gorm Larsen) Presentation

0930-1010 Visual Studio Code VDM Support (Jonas Kjær Rask, Frederik Palludan Madsen, Nick Battle, Hugo Daniel Macedo and Peter Gorm Larsen) Presentation Video

1010-1030 Break

1030-1110 Tuning Robotti: the Machine-assisted Exploration of Parameter Spaces in Multi-Models of a Cyber-Physical System (Sergiy Bogomolov, John Fitzgerald, Frederik Foldager, Peter Gorm Larsen, Ken Pierce, Paulius Stankaitis and Ben Wooding) Presentation

1110-1150 A Co-Simulation Based Approach for Developing Safety-Critical Systems (Daniella Tola and Peter Gorm Larsen) Presentation Video Slides

1150-1230 Final discussions and closing.

A zip archive of presented papers is available here and the single PDF of proceedings is here


The 18th Overture Workshop will be held on 07 December 2020 online.

The 18th 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, CML) and tools (VDMTools, Overture, Crescendo, Symphony, the INTO-CPS chain, and ViennaTalk). Together, these provide a platform for work on modelling and analysis technology that includes 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/.


Submission of papers is through EasyChair: https://easychair.org/conferences/?conf=ovt18.

Important Dates


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 Committee

For latest information and announcements, visit https://www.overturetool.org/workshops/18th-overture-workshop.html

The online conference facility is provided by Software Research Associates, Inc.

sra logo