Improved statistical model checking methods for pathway analysis.

Chuan Hock Koh Sucheendra K. Palaniappan P. S. Thiagarajan Limsoon Wong

Published in: BMC Bioinform. (2012)

Keyphrases

model checking
temporal logic
automated verification
formal specification
state space
np complete
epistemic logic
temporal properties
symbolic model checking
concurrent systems
reachability analysis