| 
|
Quote: every loop should have a proof for termination and a loop invariant
topics >
all references >
references c-d >
Topic:
program proof via assertions
Quotation Skeleton
Some of the rules I have in mind … Examples are the requirements that no loop should … will not be destroyed by the execution of … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)