Browse by author
Lookup NU author(s): Dr Ken Pierce
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.
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.
Author(s): Pierce K, Verhoef M
Publication type: Report
Publication status: Published
Series Title: School of Computing Technical Report Series
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