A traversal-based algorithm for higher-order model checking.

Robin P. Neatherway Steven J. Ramsay C.-H. Luke Ong

Published in: ICFP (2012)

Keyphrases

model checking
higher order
dynamic programming
optimal solution
temporal logic
verification method
deterministic finite automaton
tree structure
data structure
artificial intelligence
computational complexity
search space
np hard
software engineering
finite state
asynchronous circuits