Modeling and Model Checking of a Clinical Diagnostic Algorithm.

Junhua Ding Mohammad H. N. Tabrizi

Published in: ICNSC (2008)

Keyphrases

model checking
dynamic programming
computational complexity
np hard
verification method
temporal logic
temporal properties
deterministic finite automaton
knowledge base
optimal solution
knowledge representation
formal verification