program verification

noun

UK /ˈprəʊ.ɡræm ˌver.ɪ.fɪˈkeɪ.ʃən/

US /ˈproʊ.ɡræm ˌver.ə.fəˈkeɪ.ʃən/

Checking that a computer program does what it is supposed to do.

The team did program verification before releasing the new app.

SYNONYMS

software verification code checking program validation software testing correctness checking

RELATED WORDS

debugging testing quality assurance formal methods software engineering

OTHER MEANINGS

2. Proving with math that a program always behaves correctly.

Formal program verification showed the algorithm never crashes.

3. The process of confirming software meets its written requirements.

Program verification confirmed the app meets all safety rules.

4. A step in development where code is reviewed for errors.

Program verification caught a bug before customers saw it.