World's most popular travel blog for travel bloggers.

Ques : What is Formal Method in software development ?

, , No Comments

 A formal method in software development is a method that provides a formal language for describing a software artifact (e.g., specifications, designs, source code) such that formal proofs are possible, in principle, about properties of the artifact so expressed.


Post a Comment

Let us know your responses and feedback