| 
|
Quote: formal methods do not guarantee correctness; they achieve higher system integrity when applied appropriately
topics >
all references >
references a-b >
Topic:
limitations of formalism
Quotation Skeleton
VII Thou shalt not compromise thy quality standards. … There is a clear danger that developers will … a means of achieving higher system integrity when … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: limitations of formalism (92 items)