Boogie Meets Regions: A Verification Experience Report.

Anindya Banerjee Michael Barnett David A. Naumann

Published in: VSTTE (2008)

Keyphrases

model checking
image features
image regions
region of interest
salient features
input image
parameter space
data sets
user experience
learning curve