A ZDD-Based Efficient Higher-Order Model Checking Algorithm.

Taku Terao Naoki Kobayashi

Published in: APLAS (2014)

Keyphrases

model checking
higher order
verification method
np hard
dynamic programming
search space
optimal solution
decision problems
game theory
temporal logic
pspace complete
symbolic model checking
deterministic finite automaton