Formal Methods Wiki
Register
Don't have an account?
Sign In
Advertisement
in: Article stubs, VDM, Formal methods, Wikis

VDM

Edit

Virtual Library
Computing
Software engineering
Formal methods

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

See also[]

External links[]


Categories
Community content is available under CC-BY-SA unless otherwise noted.
Advertisement

Fan Feed

More Formal Methods Wiki
Explore Wikis