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,