Abstract
The Vienna Development Method (VDM) is one of the most mature formal methods, with a history of cost-effective industrial deployment. One important route for this has been the development of robust tools supporting the construction of models, and their animation. We trace the history of this strand of work from the mid-1990s to 2015, taking as our starting point challenges for the industrial usage of formal methods set out by José Nuno Oliveira in 1997. We describe five generations of VDM tools: the IFAD VDM Toolbox, VDMTools, Overture, Crescendo and Symphony, emphasising the influence that the goal of industry usage has had on their features and architectures. We chart the move from a single-formalism tool focused on executable VDM specifications to a platform for multi-tool analysis of a wider range of models, and look forward to the growth of integrated multidisciplinary toolchains from the ongoing INTO-CPS project. We briefly compare the VDM tool story with the approaches taken by other formalisms that have been applied in industry.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Journal of Logical and Algebraic Methods in Programming
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
