Formal Methods Wiki
Register
Advertisement

RAISE (Rigorous Approach to Industrial Software Engineering) is a formal method, a development after VDM.

See also[]

External links[]

Advertisement