| 
|
QuoteRef: dillDL4_1996
topics >
all references >
ThesaHelp:
references c-d
Topic:
dynamic type checking
Topic:
model checker
Topic:
debugging by usage rules
Topic:
program proving is infeasible
Group:
program proving
Group:
testing
Reference
Dill, D.L., Rushby, J., "Acceptance of formal methods: lessons from hardware design", Computer, April 1996, pp. 23-24. Google
24 ;;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
24 ;;Quote: can simplify problem if formal verification is used for finding bugs instead of proving correctness; e.g., check cache-coherence protocol with four processors, one cache line, and two data values
ThesaHelp: references c-d (337 items)
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)
Group: program proving (10 topics, 310 quotes)
Group: testing (18 topics, 551 quotes)