Explore relationships

Software verification

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.

Use + to expand a branch. Click a topic name to open its summary.