VDM is a formal specification technique. It can be used for the formal specification and verification.

More Nadeem Akhtar's questions See All
Similar questions and discussions