A Gradual Approach to a More Trustworthy, Yet Scalable, Proof-Carrying Code.

Robert R. Schneck George C. Necula

Published in: CADE (2002)

Keyphrases

source code
neural network
theorem proving
web scale
databases
search algorithm
expert systems
memory efficient
error detection