Doomed program points.

Jochen Hoenicke K. Rustan M. Leino Andreas Podelski Martin Schäf Thomas Wies

Published in: Formal Methods Syst. Des. (2010)

Keyphrases

feature points
point sets
computer programs
neural network
artificial intelligence
endpoints
machine learning
data points
convex hull
critical points
arbitrary shape