Statically relating program properties for efficient verification (short WIP paper).

Bharti Chimdyalwar Priyanka Darke

Published in: LCTES (2018)

Keyphrases

cost effective
desirable properties
neural network
multiscale
computationally efficient
imperative programs
data sets
image segmentation
optimal solution
computer science
lightweight
structural properties