| 
|
Quote: use formal methods to verify a design instead of proving correctness; forces engineers to be precise about details; resolves differences of interpretation between implementers and testers
topics >
all references >
references t-z >
Topic:
formal methods and languages
Topic:
limitations of formalism
Topic:
program proving is infeasible
Quotation Skeleton
From the start of the [BOS] project, the … properties of the design rather than proving correctness … the formalization process of the TD [technical design] forces engineers to think (more) thoroughly, to look in more … the detailed formal description of the design constituted … the formal TD served as a precise arbiter … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: formal methods and languages (53 items)
Topic: limitations of formalism (92 items)
Topic: program proving is infeasible (46 items)