C-SHORe: a collapsible approach to higher-order verification.

Christopher H. Broadbent Arnaud Carayol Matthew Hague Olivier Serre

Published in: ICFP (2013)

Keyphrases

higher order
high order
natural images
pairwise
markov random field
low order
model checking
markov models
concurrent systems
lambda calculus
data sets
high security
conditional random fields
formal verification
linear combination
verification method
objective function
artificial intelligence