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:
APLAS (2019)
Keyphrases
</>
model checking
dynamic programming
verification method
optimal solution
computational complexity
search space
np hard
temporal logic
automated verification
deterministic finite automaton