Software verification is a discipline of software engineering, programming languages, and theory of computation whose goal is to assure that software satisfies the expected requirements.

Broad scope and classification

A broad definition of verification makes it related to software testing. In that case, there are two fundamental approaches