VST-Flow: Fine-grained low-level reasoning about real-world C code.

Samuel Grütter Toby C. Murray

Published in: CoRR (2017)

Keyphrases

fine grained
low level
real world
coarse grained
high level
access control
higher level
massively parallel
tightly coupled
data lineage
search engine
image segmentation
probabilistic model
source code