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

See also Edit

• Formal specification
• Z notation

External links Edit

• VDM portal wiki
• Overture toolset

This article is a stub. You can help Formal Methods Wiki by expanding it.