Home >  Term: correctness proof
correctness proof

A mathematical proof of consistency between a specification and its implementation.

0 0

Creator

  • KeithC3
  •  (Diamond) 7429 points
  • 100% positive feedback
© 2024 CSOFT International, Ltd.