A Sound Framework for Untrusted Verification-Condition Generators.

George C. Necula Robert R. Schneck

Published in: LICS (2003)

Keyphrases

databases
information systems
decision making
multiscale
main contribution
learning algorithm
artificial neural networks
computational model
model checking
framework enables