ePrints

Towards Next Generation Tools for VDM: Contributions to the First International Overture Workshop, Newcastle, July 2005

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen

Downloads

• Published version [.pdf]

Abstract

This report contains contributions to the first international workshop on Overture, a community project to develop open source interoperable tools for the formal modelling and analysis of computing systems, based on extensions to the Vienna Development Method (VDM and VDM++) modelling languages. The contributions address the industry-strength basic tools such as parsersas well as advanced capabilities including modelling real-time and embedded systems, and test generation.

Publication metadata

Author(s): Fitzgerald JS, Larsen PG, Plat N

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2006

Pages: 81

Print publication date: 01/06/2006

Source Publication Date: June 2006

Report Number: 969

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/969.pdf

Share