Home >  Term: inductive assertion method
inductive assertion method

A proof of correctness technique in which assertions are written describing program inputs, outputs, and intermediate conditions, a set of theorems is developed relating satisfaction of the input assertions to satisfaction of the output assertions, and the theorems are proved or disproved using proof by induction.

0 0

Creator

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