FMVDM

VDMTools's source code repository on github

Overture tool is an Eclipse-based open source IDE for VDM-family

An introductory series of articles published at ITmedia by Mr. Ueki.