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).

0 0

Kūrėjas

  • artemis
  •  (Gold) 1356 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.