Accueil > Term: proof of correctness
proof of correctness
(1) A formal technique used to prove mathematically that a computer program satisfies its specified requirements.~(2) A proof that results from applying the technique in (1).
- Partie du discours : noun
- Secteur d’activité/Domaine : Informatique; Logiciels
- Catégorie : Software engineering
- Organization: IEEE Computer Society
0
Créateur
- artemis
- 100% positive feedback