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

摘要

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.