Probabilistic Model Checking of the PDGF Signaling Pathway.
Qixia YuanPanuwat TrairatphisanJun PangSjouke MauwMonique WiesingerThomas SauterPublished in: Trans. Comp. Sys. Biology (2012)
Keyphrases
- model checking
- temporal logic
- temporal properties
- signaling pathways
- automated verification
- formal specification
- formal verification
- model checker
- symbolic model checking
- epistemic logic
- computation tree logic
- bayesian networks
- probabilistic model
- verification method
- transition systems
- bounded model checking
- gene ontology
- modal logic
- timed automata
- alternating time temporal logic
- data model
- deterministic finite automaton
- artificial intelligence
- data mining