Overture 2015 - 13th Overture Workshop

Our workshop aims to provide a forum for discussing and advancing the state of the art in formal modelling and analysis using VDM and its family of associated formalisms including extensions for distributed and real-time systems. We strongly welcome contributions on the development of tools for VDM as well as developments in foundations and reports of practical experience. The scope of the workshop includes, but is not restricted to:
Reports of applications of VDM technology, especially reports of industrial use.
Papers describing requirements, designs, implementations and case studies of support tools for VDM, whether or not implemented on the Overture open tools platform.
Papers on the foundations and methodology associated with VDM and its extensions, including the description of real-time and distributed systems.
Papers combining VDM with other notations and tools.
Position papers on VDM and its promotion in industry practice.
Papers on extensions of Overture including Crescendo, Symphony and VDMPad.