The services and tools supporting the ISO Standard VDM-SL notation and its object-oriented extension VDM++ are commonly known as the VDM Technology. For both notations the company IFAD provides leading edge technology tools, training and consultancy. Users of the VDM Technology typically report on their work in the Toolbox Newsletter which is issued on a regular basis. This note provides a brief overview of the capabilities of the tools.
CITATION STYLE
Agerholm, S., & Larsen, P. G. (1999). The IFAD VDM tools: Lightweight formal methods. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1641, pp. 326–329). Springer Verlag. https://doi.org/10.1007/3-540-48257-1_22
Mendeley helps you to discover research relevant for your work.