Counter-example complete verification for higher-order functions.

Nicolas Voirol Etienne Kneuss Viktor Kuncak

Published in: Scala@PLDI (2015)

Keyphrases

higher order
natural images
high order
face verification
model checking
markov random field
real world
artificial intelligence
markov models
case study
pairwise
lower bound
real time
object recognition
multi agent
image processing
data sets