CPAchecker with Explicit-Value Analysis Based on CEGAR and Interpolation - (Competition Contribution).

Published in: TACAS (2013)

Keyphrases

statistical analysis
quantitative analysis
multiscale
wide range
data sets
learning algorithm
computer vision
web pages
image processing
three dimensional
data structure
data analysis
information technology
relational databases
automatic analysis