Keyphrases
- model checking
- abstract interpretation
- systems biology
- biochemical networks
- biological systems
- temporal logic
- high throughput
- statistical analysis
- gene regulatory networks
- biological networks
- formal methods
- epistemic logic
- reactive systems
- artificial intelligence
- complex systems
- biologically inspired
- real time
- data analysis
- formal verification
- database systems