Stages in Formal Method, Lecture 2 [Urdu/Hindi]

In this video we are going to discuss number of topics like Stages in formal methods, formal methods, formal specification, model checking, abstraction, critical softwares etc