Browse by author
Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen
This report contains proceedings of the Fourth International Workshop of the Overture group (www.overturetool.org) 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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1099.pdf