SpecBox

SpecBox is a checking tool for the Vienna Development Method (VDM), a formal method for software specification and development. SpecBox principally provides syntax checking, some simple semantic checking, and generation of a LaTeX file enabling specifications to be printed in mathematical notation.

This free version of SpecBox is a DOS application. It uses a DOS extender that is compatible with both Microsoft® MS-DOS® 5.0 and Microsoft® Windows™ 3.

This free version of SpecBox recognises the version of draft IEC VDM of 1991. This differs in a few respects from the definitive version in IEC 13817-1, published in December 1996. A readable account of IEC VDM is contained in the following book: John Dawes, "The VDM-SL Reference Guide", Pitman 1991, ISBN 0-273-03151-1.