Verifying Array Manipulating Programs by Tiling.

Supratik Chakraborty Ashutosh Gupta Divyesh Unadkat

Published in: CoRR (2017)

Keyphrases

real time
data sets
real world
data mining
image segmentation
image sequences
evolutionary algorithm
model checking
computer programs
programming environment