Overture Tool

Formal Modelling in VDM

Overture Tool

Go to our GitHub Profile

Follow @overturetool

THE 17TH OVERTURE WORKSHOP

The 17th Overture Workshop will be held on 07 October 2019 in association with the the 3rd World Congress on Formal Methods (FM2019).

Location: Alfandega Porto Congress Centre, Portugal See http://formalmethods2019.inesctec.pt/?page_id=140

Registration

The 17th Overture Workshop is part of FM 2019. To register for FM 2019, go to: http://formalmethods2019.inesctec.pt/?page_id=2221. Be sure to include 1-day workshop – OVT.

Presentations

Workshop pre-proceedings are available as a University of Newcastle Technical Report. They can be downloaded here and should be cited as:

Luis Diogo Couto and Carl Gamble (Editors), Proceedings of the 17th Overture Workshop. Technical Report 1530, School of Computing, Newcastle University, UK, September 2019.

Programme

https://easychair.org/smart-program/OVT17/

ORIGINAL CALL FOR PAPERS

The 17th Overture Workshop will be held on 07 October 2019 in association with the the 3rd World Congress on Formal Methods (FM2019).

The 17th 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, and the INTO-CPS chain). 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 http://www.overturetool.org/.

Location: Alfandega Porto Congress Centre, Portugal See http://formalmethods2019.inesctec.pt/?page_id=140

Registration

The 17th Overture Workshop is part of FM 2019. To register for FM 2019, go to: http://formalmethods2019.inesctec.pt/?page_id=2221. Be sure to include 1-day workshop – OVT.

Submission

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

Important Dates

Call

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.

Accepted papers will be published in pre-proceedings as a Newcastle University Technical Report. Revised, selected papers will be included in a LNCS post-proceedings for FM workshops, as part of Springer’s Lecture Notes in Computer Science.

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

Organisers

Program Committee (Confirmed)

For latest information and announcements, visit http://overturetool.org/workshops/17th-overture-workshop.html

Participants

The participants of the 17th Overture workshop.