Studies of biological networks with statistical model checking: application to immune system cells.
Natasa Miskov-ZivanovPaolo ZulianiEdmund M. ClarkeJames R. FaederPublished in: BCB (2013)
Keyphrases
- model checking
- biological networks
- temporal logic
- formal verification
- automated verification
- symbolic model checking
- computation tree logic
- bounded model checking
- formal methods
- gene expression
- statistical analysis
- formal specification
- statistical methods
- verification method
- learning algorithm
- biological data
- computational model
- model checker
- temporal properties
- transition systems
- cooperative
- database systems