Proof-Carrying Code with Untrusted Proof Rules.

George C. Necula Robert R. Schneck

Published in: ISSS (2002)

Keyphrases

logical rules
theorem proving
proof theoretic
neural network
artificial intelligence
case based reasoning
rough sets
open source
decision rules
classification rules
rule sets
theorem prover
natural deduction