C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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