Using Loop Bound Analysis For Invariant Generation.

Pavel Cadek Clemens Danninger Moritz Sinn Florian Zuleger

Published in: FMCAD (2018)

Keyphrases

multimedia
three dimensional
data sets
relational databases
real time
case study
wide range
data analysis
image analysis
upper bound
statistical analysis