The IFAD VDM-SL toolbox

Abstract

The IFAD VDM-SL Toolbox is a collection of tool s for formal specifications development using the lates t version of the VDM-SL standard . In addition to th e full language it also supports a module-based structuring mechanism for large specifications . The Toolbox features extensive semantics checking, documentatio n support, test coverage analysis and debugging support . We have focused on supporting real-life specifications development in industrial settings . This paper present s the Toolbox and also reports on our own experience using it for the development of large specifications .