Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
Grégory BattDelphine RopersHidde de JongJohannes GeiselmannRadu MateescuMichel PageDominique SchneiderPublished in: IJCAI (2005)
Keyphrases
- model checking
- genetic regulatory networks
- qualitative models
- temporal logic
- formal verification
- automated verification
- steady state
- concurrent systems
- model checker
- verification method
- reverse engineering
- ordinary differential equations
- qualitative simulation
- bounded model checking
- biological networks
- model based diagnosis
- gene regulatory networks
- formal methods
- probabilistic model
- bayesian networks