Statistical Model Checking in BioLab: Applications to the Automated Analysis of T-Cell Receptor Signaling Pathway.
Edmund M. ClarkeJames R. FaederChristopher James LangmeadLeonard A. HarrisSumit Kumar JhaAxel LegayPublished in: CMSB (2008)
Keyphrases
- model checking
- signaling pathways
- automated analysis
- temporal logic
- systems biology
- automated verification
- regulatory networks
- temporal properties
- formal verification
- model checker
- biological processes
- verification method
- formal specification
- symbolic model checking
- gene ontology
- visual analysis
- computation tree logic
- epistemic logic
- bounded model checking
- cell nuclei
- video analysis
- protein protein interactions
- high throughput
- formal methods
- biological data
- modal logic
- transition systems
- gene expression
- video data
- software engineering
- artificial intelligence