A Bounded Model Checking Technique for Higher-Order Programs.

Yu-Yang Lin Nikos Tzevelekos

Published in: SETTA (2019)

Keyphrases

bounded model checking
higher order
model checking
formal verification
linear temporal logic
temporal logic
pairwise
low order
natural images
markov random field
high order
general purpose
multi agent
conditional random fields
computer programs
knowledge base
lower order
reinforcement learning