C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Type-Based HFL Model Checking Algorithm.
Youkichi Hosoi
Naoki Kobayashi
Takeshi Tsukada
Published in:
CoRR (2019)
Keyphrases
</>
model checking
verification method
dynamic programming
np hard
temporal logic
deterministic finite automaton
optimal solution
computational complexity
search algorithm
search space
markov chain
model checker
symbolic model checking