Direct Model Checking Matrix Algorithm.

Zhi-Hong Tao Hans Kleine Büning Lifu Wang

Published in: J. Comput. Sci. Technol. (2006)

Keyphrases

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