Toggle Main Menu Toggle Search

Open Access padlockePrints

The 16th Overture Workshop

Lookup NU author(s): Dr Ken Pierce

Downloads


Licence

This is the final published version of a report that has been published in its final definitive form by School of Computing Science, University of Newcastle upon Tyne, 2018.

For re-use rights please refer to the publisher's terms and conditions.


Abstract

The 16th Overture Workshop was held on Saturday 14 July 2018 in association with the Federated Logic Conference (FLoC) 2018 and the 22nd International Symposium on Formal Methods (FM 2018). The workshop provided 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 describing distributed, real-time and cyber-physical systems. The workshop covered topics including tool support, applications of VDM, and perspectives of current and future directions of the community.


Publication metadata

Author(s): Pierce K, Verhoef M

Publication type: Report

Publication status: Published

Series Title: School of Computing Technical Report Series

Year: 2018

Pages: 142

Print publication date: 23/10/2018

Online publication date: 23/10/2018

Acceptance date: 23/10/2018

Report Number: 1524

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne, UK

URL: https://www.ncl.ac.uk/media/wwwnclacuk/schoolofcomputingscience/files/trs/1524.pdf


Share