| 
|
Quote: requirements and proofs are inherently global; a changed requirement may require redoing most of the proofs; verification gets dropped
topics >
all references >
references a-b >
Topic:
formal methods and languages
Group:
requirement specification
Topic:
specification is infeasible
Topic:
local vs. global
Quotation Skeleton
The worst of all is the necessary reverification … [after changing the requirements for a formal specification] … are inherently global as well. Potentially every proof … use changed formulae. … The pain is enough to drive one to … and no verification is done [ref]. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)
Group: requirement specification (11 topics, 306 quotes)
Topic: specification is infeasible (46 items)
Topic: local vs. global (29 items)