Toggle Main Menu Toggle Search

Open Access padlockePrints

Proceedings of the 12th Overture Workshop, Newcastle University, 21 June, 2014

Lookup NU author(s): Professor John Fitzgerald



This volume contains papers and abstracts of presentations given at the 12th Overture Workshop on the Vienna Development Method (VDM), which took place at Newcastle University in June 2014. VDM is one of the longest established formal methods, having its origins in compiler development work in IBM in the 1970s. The community-based Overture initiative is developing robust tools for VDM on an open platform that has been successfully adapted for collaborative modelling and simulation in embedded systems design, and latterly SoS modelling, verification and testing. The 12th workshop reflected the breadth and depth of work in VDM. Contributions included reports of current work on fundamental approaches to reasoning about concurrency, design space exploration, the use of tools in teaching, and of course tools (interpreter design, code generation and the maturing architecture of Overture itself). In this report we include papers, extended abstracts for four of the talks given, and short abstracts of the remainder.

Publication metadata

Author(s): Battle N, Fitzgerald J

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2015

Pages: 52

Print publication date: 01/01/2015

Report Number: 1446

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

Place Published: Newcastle upon Tyne