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

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

    Abstract: 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.

      • Date: May 2008
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 87
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: Formal Methods, VDM, rCOS, Software Engineering Tools


      Professor John Fitzgerald
      Director of the Centre for Software Reliability