| 
|
Quote: program verification useful for clarifying specifications and removing design faults; not for guaranteed correctness
topics >
all references >
references c-d >
Topic:
program proving is infeasible
Quotation Skeleton
We wish to reiterate our view that program … removing design faults. It can provide supporting evidence … correctness. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)