| 
|
Quote: in formal methods there is an unreasonable focus on proof of correctness; in other areas, engineers use mathematics to derive important properties such as the maximum voltage between two terminals
topics >
all references >
references p-r >
Group:
program proving
Topic:
program proving is infeasible
Quotation Skeleton
[In formal methods] There is an unreasonable focus on proof … properties of their proposed designs. [For example, it is far easier to determine the maximum voltage between two terminals than to define the correctness properties for a circuit.] Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: program proving is infeasible (46 items)