Bridging the Gap: Automatic Verified Abstraction of C.

David Greenaway June Andronick Gerwin Klein

Published in: ITP (2012)

Keyphrases

high level
semi automatic
fully automatic
data driven
information systems
wide range
dynamic programming
heuristic search
real time
data sets
neural network
data structure
relational databases
mobile robot