The development of VDMTools: Most components of the VDMTools tool suite are themselves developed using VDM.
Розробка VDMTools: Більшість компонент набору інструментів VDMTools й самі були розроблені з використанням VDM.