Quote: formal specifications are concise, explicit, unambiguous, abstract, and lead to an implementation; generally beneficial

Quotation Skeleton

Formal specification techniques are generally beneficial because a … the system design, dispel ambiguities, maintain abstraction levels, … [p. 58] Full formal development and machine-checked proofs, however, … high-integrity systems where failure could cause lose of …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: full formal development with machine-checked proofs is too expensive except for failure-critical applications

Related Topics

Group: requirement specification   (11 topics, 306 quotes)
Topic: good requirement specifications (36 items)
Topic: error safe systems (75 items)
Topic: limitations of formalism (92 items)
Topic: program proving is infeasible (46 items)