Browse by author
Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen
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.
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