| 
|
QuoteRef: dobsJ4_1989
topics >
all references >
ThesaHelp:
ACM references a-e
ThesaHelp:
references c-d
Topic:
program proving is infeasible
Topic:
mathematical proof
Reference
Dobson, J., Randell, B., "Program verification: Public image and private reality", Communications of the ACM, 32, 4, pp. 420-422, April 1989. Google
421 ;;Quote: a program proof is for refutation of certain forms of incorrectness; math proofs demonstrate existence
422 ;;Quote: program verification does not provide reliability, safety, or security; it proves limited design correctness
422 ;;Quote: program verification useful for clarifying specifications and removing design faults; not for guaranteed correctness
ThesaHelp: ACM references a-e (259 items)
ThesaHelp: references c-d (337 items)
Topic: program proving is infeasible (46 items)
Topic: mathematical proof (23 items)