Overview

program verification


Show Summary Details

Quick Reference

Any method that will ensure that a program will do exactly what it is supposed to do. See also program correctness proof.

Subjects: Computing.


Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.