| 
|
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
topics >
all references >
references c-d >
Group:
program proving
Group:
testing
Quotation Skeleton
Shortcuts can be taken when formal verification is … number or size of components can be drastically … and two data values. Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Group: testing (18 topics, 551 quotes)