Map
Index
Random
Help
th

QuoteRef: dobsJ4_1989

topics > all references > ThesaHelp: references c-d



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

Quotations
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


Related Topics up

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)

Collected barberCB 7/89
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.