Proceedings of the 18th International Overture Workshop

01/19/2021
by   John Fitzgerald, et al.
0

This volume contains the papers presented at the 18th International Overture Workshop, held online on 7th December 2020. This event was 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 longest established formal methods for systems development. A lively community of researchers and practitioners has grown up 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. This workshop provided updates on the emerging technology of VDM/Overture, including collaboration infrastructure, collaborative modelling and co-simulation for Cyber-Physical Systems.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

10/18/2021

Proceedings of the 19th International Overture Workshop

This volume contains the papers presented at the 19th International Over...
11/08/2015

Proceedings Workshop on Models for Formal Analysis of Real Systems

This volume contains the proceedings of MARS 2015, the first workshop on...
06/28/2017

CASCONet: A Conference dataset

Knowledge mobilization and translation describes the process of moving k...
01/01/2021

Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

The proceedings of the 6th International Workshop on Symbolic-Numeric Me...
04/26/2020

Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems

This volume contains the proceedings of MARS 2020, the fourth workshop o...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.