| 
|
Quote: a verified program is provably corrected but not reliable and trustworthy; no information about limits
topics >
all references >
references c-d >
Topic:
trust
Topic:
resourceful, redundant systems for reliability
Topic:
program proving is infeasible
Quotation Skeleton
let us suppose that the programmer gets the … He knows that his program is formally, logically, … safe; he does not know within what limits … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: trust (16 items)
Topic: resourceful, redundant systems for reliability (35 items)
Topic: program proving is infeasible (46 items)