Map
Index
Random
Help
th

Quote: validation methods are primarily used as bug-finders; formal methods are useful because they find different bugs than traditional methods; a more realistic goal than guaranteeing correctness

topics > all references > references c-d > QuoteRef: dillDL4_1996 , p. 24



Topic:
dynamic type checking
Topic:
model checker
Topic:
debugging by usage rules
Topic:
program proving is infeasible

Quotation Skeleton

Traditional validation methods already are used primarily as … traditional methods--a much more achievable goal than trying …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: dynamic type checking (43 items)
Topic: model checker (49 items)
Topic: debugging by usage rules (40 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.