Overture 2013 - 11th Overture Workshop on VDM

The goal is to provide a forum to present new ideas, to identify and encourage new collaborative research, and to foster current strands of work towards publication in the mainstream conferences and journals. VDM is one of the longest established formal methods, having its origins in compiler development work in IBM in the 1970s. In the 1990s, the basic VDM modelling language was standardised by ISO and the first commercial tools emerged. Since 2000, the method has been extended to support object-orientation, concurrency, real-time and distribution. Notable recent advances have been the use of VDM as a base language for modelling systems of systems (SOS) through the COMPASS project (http://www.compass-research.eu/) and the development of of a VDM-based co-simulation framework in the DESTECS project (http://www.destecs.org).
The community-based Overture initiative is developing an industry-strength tool on an open platform, exploiting research from across Europe and from further afield. Research related to the Overture tool spans from discrete modelling supported by various kinds of formal analysis, to heterogeneous modelling through co-simulation with a continuous-time tool through DESTECS. The Overture initiative held its first workshop at FM'05. Workshops were held subsequently at FM'06, FM'08 and FM'09, FM'11, FM'12 and in between.
Call for Papers
We welcome submissions on any aspect of VDM and developments in modelling methodology (including projects that use VDM as a base technology), industrial application and tools. Papers submitted to the workshop should not exceed 6 pages (in LNCS format) and present original work. We also encourage submission of accounts of early work.