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