Tree logic with recursion and model checking algorithm.

Taolue Chen Tingting Han Jian Lu

Published in: IASTED Conf. on Software Engineering and Applications (2004)

Keyphrases

model checking
verification method
temporal logic
computational complexity
dynamic programming
np hard
tree structure
search space
finite state
epistemic logic
optimal solution
logic programs
formal verification
binary decision diagrams
model checker