Higher-Order Bounded Model Checking.

Yu-Yang Lin Nikos Tzevelekos

Published in: CoRR (2018)

Keyphrases

bounded model checking
higher order
model checking
formal verification
temporal logic
linear temporal logic
high order
pairwise
natural images
markov random field
conditional random fields
low order
multi agent systems
lower order
lambda calculus
orders of magnitude
formal specification
programming language