Quote: estimate costs when using formal methods; high-integrity systems are intrinsically expensive

Quotation Skeleton

III Thou shalt estimate costs. … One might expect that formal methods would greatly … [for cost estimation] and, by extension, system cost. However, it's not the methods … if high confidence levels and a fail-safe operation … [p. 59] For high-integrity systems, the investment in costly … as long as development lead times and development …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: error safe systems (75 items)
Topic: limitations of formalism (92 items)