Algorithmic Algebraic Model Checking I: Challenges from Systems Biology.
Carla PiazzaMarco AntoniottiVenkatesh MysoreAlberto PolicritiFranz WinklerBud MishraPublished in: CAV (2005)
Keyphrases
- model checking
- systems biology
- high throughput
- temporal logic
- biological systems
- model checker
- formal verification
- biological networks
- biological data
- symbolic model checking
- verification method
- computational biology
- protein protein interactions
- epistemic logic
- gene regulatory networks
- formal methods
- bounded model checking
- molecular biology
- computation tree logic
- life sciences
- data mining
- microarray
- complex systems
- knowledge discovery
- database systems