Home > 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).
- Jenis Kata: noun
- Industri / Domain: Komputer; Perangkat lunak
- Kategori: Software engineering
- Organization: IEEE Computer Society
0
Penulis
- artemis
- 100% positive feedback