A Type-Based HFL Model Checking Algorithm.

Youkichi Hosoi Naoki Kobayashi Takeshi Tsukada

Published in: APLAS (2019)

Keyphrases

model checking
dynamic programming
verification method
optimal solution
computational complexity
search space
np hard
temporal logic
automated verification
deterministic finite automaton