Automatic Verification of Integer Array Programs.

Marius Bozga Peter Habermehl Radu Iosif Filip Konecný Tomás Vojnar

Published in: CAV (2009)

Keyphrases

computer programs
three dimensional
evolutionary algorithm
real time
data sets
machine learning
social networks
similarity measure
expert systems
floating point
java programs
provably correct