RV-Match: Practical Semantics-Based Program Analysis.

Dwight Guth Chris Hathhorn Manasvi Saxena Grigore Rosu

Published in: CAV (1) (2016)

Keyphrases

image processing
practical problems
information systems
data sets
databases
artificial intelligence
three dimensional
image analysis
special case
probability distribution
practical application
left ventricle
practical solutions