| 
|
Quote: certified evaluation via a proof checker for lists of facts, security rules, and derivations; 100 lines of code
topics >
all references >
references i-l >
Group:
program proving
Topic:
consistency testing
Topic:
proof-carrying code
Topic:
program proving is infeasible
Quotation Skeleton
Perhaps the most notable feature of our evaluator … a proof that the answers are correct: it … is reported by the evaluator. … The proof … shows that a list of facts (the answer … facts, a list of rules, a list of … [p. 112] and a list of indices that specify which of the … lines of code. Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: consistency testing (60 items)
Topic: proof-carrying code (7 items)
Topic: program proving is infeasible (46 items)