| 
|
Quote: proving program correctness depends on knowing the invariants satisfied by the program; given a complicated program may be difficult to find
topics >
all references >
references a-b >
Topic:
program proof via assertions
Topic:
program proving is infeasible
Quotation Skeleton
Moreover, proving program correctness is easy only if … the invariant may not be feasible with reasonable … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)
Topic: program proving is infeasible (46 items)