| 
|
Quote: program verification does not provide reliability, safety, or security; it proves limited design correctness
topics >
all references >
references c-d >
Topic:
program proving is infeasible
Quotation Skeleton
The point is that the sort of a … necessarily provide a major contribution to the reliability, … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proving is infeasible (46 items)