| 
|
Quote: a procedure's correctness may depend on a set of preconditions; must be proved to hold before every call
Topic:
program proof via assertions
Quotation Skeleton
One additional complexity will often be required; in … and its correctness therefore depends on satisfaction of … ,a_n) before the procedure is entered. … This precondition … may be assumed in the proof of the … the procedure. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)