Algorithmic Algebraic Model Checking IV: Characterization of Metabolic Networks.
Venkatesh MysoreBud MishraPublished in: AB (2007)
Keyphrases
- model checking
- metabolic networks
- temporal logic
- formal specification
- formal verification
- automated verification
- biological data
- temporal properties
- model checker
- metabolic pathways
- computation tree logic
- bounded model checking
- escherichia coli
- symbolic model checking
- ideally suited
- verification method
- biologically relevant
- concurrent systems
- formal methods
- timed automata
- transition systems
- epistemic logic
- biological networks
- linear temporal logic
- high throughput
- alternating time temporal logic
- data model
- reactive systems