| 
|
Quote: errors and oversights are likely when preparing tabular, mathematical descriptions of functions; need many proofs of "obviously true" theorems
topics >
all references >
references p-r >
Group:
program proving
Quotation Skeleton
Mathematical techniques can be used to produce precise, … are quite common. To detect the "early" errors … of such theorems. … [p. 157] Each of these theorems is "obviously true", … [A companion paper by Rushby and Srivas demonstrates the use of a strategy in PVS for type-correctness conditions to prove these theorems.] Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)