Showing posts with label formal methods software process mode. Show all posts
Showing posts with label formal methods software process mode. Show all posts

Describe Formal Methods Software Process Model

Formal Methods Model : 

The formal methods model encompasses a set of activities that leads to formal mathematical specification of computer software. Formal methods enable a software engineer to specify, develop, and verify a computer-based system by applying a rigorous, mathematical notation.