Keyphrases
- systems biology
- model checking
- high throughput
- temporal logic
- biological systems
- model checker
- biological data
- biological networks
- formal verification
- formal methods
- epistemic logic
- protein protein interactions
- molecular biology
- bounded model checking
- computation tree logic
- verification method
- computational biology
- gene regulatory networks
- probabilistic model
- cooperative
- real time
- microarray
- computational model
- data management
- object oriented