Browse by author
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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf
