VDM

Virtual Library

---

Computing

---

Software engineering

---

Formal methods

VDM (Vienna Development Method) is a leading formal method.

See also

• Formal specification
• Z notation

External links

• VDM portal wiki
• Overture toolset