Map
Index
Random
Help
th

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 > QuoteRef: baueFL_1976 , p. 230



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.


Related Topics up

Topic: program proof via assertions (61 items)
Topic: program proving is infeasible (46 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.