| 
|
Quote: if we have complete source code then the correctness of a system is completely knowable
topics >
all references >
references t-z >
Group:
program proving
Topic:
program source as truth
Topic:
program listing
Topic:
source-rich system
Quotation Skeleton
The correctness of a system for which we … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: program source as truth (17 items)
Topic: program listing (14 items)
Topic: source-rich system (27 items)