Proving Liveness of Parameterized Programs.

Azadeh Farzan Zachary Kincaid Andreas Podelski

Published in: LICS (2016)

Keyphrases

machine learning
image processing
computer programs
image segmentation
logic programming
multiresolution
free software
control structures
automatic programming
language learning
medical images
object oriented
mobile robot
database
optimal solution
multimedia
neural network
data sets
real time