Sound Modular Verification of C Code Executing in an Unverified Context.

Pieter Agten Bart Jacobs Frank Piessens

Published in: POPL (2015)

Keyphrases

context aware
source code
contextual information
information systems
model checking
data mining
image sequences
multiscale
relational databases
context sensitive
symbolic execution