Home >  Term: partial correctness
partial correctness

In proof of correctness, a designation indicating that a program's output assertions follow logically from its input assertions and processing steps.

0 0

Penulis

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