Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop

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



This report contains proceedings of the Fourth International Workshop of the Overture group ( whose aim is to develop the next generation of tools supporting the Vienna Development Method (VDM) and related formal techniques. Contributed papers describe the rCOS technique and tools, the relationship between VDM and complementary formalisms including Colored Petri Nets and JML; support for automated test generation; proof support using HOL; and future directions for VDM extensions for modelling embedded and distributed systems. The workshop took place as part of the 15th International Symposium on Formal Methods (FM 2008) at Aabo Akademi, Turku, Finland in May 2008.

Publication metadata

Author(s): Fitzgerald JS, Larsen PG, Sahara S

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2008

Pages: 87

Print publication date: 01/05/2008

Source Publication Date: May 2008

Report Number: 1099

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

Place Published: Newcastle upon Tyne