Overture Tool
Formal Modelling in VDM
Publications
This page seeks to list relevant publications that relates to Overture and the VDM languages. Information about books and traning material can also be found on the following pages:
Publication list:
Type-setting VDM Specifications
-
LaTeX and LaTeX2e macros are available to help you write VDM-SL specifications in the ISO Standard Language’s mathematical syntax. They have been developed and are maintained by the National Physical Laboratory in the UK. Read the README and get the downloads from here. You will need a large version of TeX to use the macros in any serious way. The contact at NPL is Graeme I Parkin, (Graeme.Parkin@npl.co.uk).
-
LaTex macros for typsetting VDM schemas in the BSI concrete syntax for VDM is available at CTAN, package name vdm
-
LaTex macros for typsetting VDM using the listings package is available at CTAN, package name vdmlisting