Model Checking Genetic Regulatory Networks Using GNA and CADP.
Grégory BattDamien BergaminiHidde de JongHubert GaravelRadu MateescuPublished in: SPIN (2004)
Keyphrases
- model checking
- genetic regulatory networks
- temporal logic
- reverse engineering
- steady state
- ordinary differential equations
- gene regulatory networks
- model checker
- qualitative simulation
- formal specification
- temporal properties
- automated verification
- biological networks
- formal verification
- computation tree logic
- epistemic logic
- qualitative models
- verification method
- symbolic model checking
- transition systems
- bounded model checking
- formal methods
- modal logic
- expert systems
- data mining
- dynamic systems
- data analysis