The IFAD VDM-SL toolbox
René Elmstrøm, Peter Gorm Larsen, Poul Bøgh Lassen · ACM SIGPLAN Notices · 1994
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 .