Proving Liveness of Parameterized Programs.

Azadeh Farzan Zachary Kincaid Andreas Podelski

Published in: CoRR (2016)

Keyphrases

computer programs
control structures
database
data sets
computer vision
multiscale
digital libraries
program execution
control program