Model Checking Logical Regulatory Networks.
Pedro T. MonteiroWassim Abou-JaoudéDenis ThieffryClaudine ChaouiyaPublished in: WODES (2014)
Keyphrases
- model checking
- regulatory networks
- temporal logic
- gene expression
- microarray
- temporal properties
- formal verification
- model checker
- verification method
- formal specification
- computational biology
- gene regulatory networks
- gene expression data
- automated verification
- symbolic model checking
- epistemic logic
- formal methods
- biological data
- bounded model checking
- computation tree logic
- microarray data
- protein protein interactions
- transition systems
- systems biology
- binding sites
- machine learning
- knowledge base
- transcription factors
- biological systems
- modal logic
- social network analysis
- state space
- multi agent