High-performance analysis of biological systems dynamics with the DiVinE model checker.
Jiri BarnatLubos BrimDavid SafránekPublished in: Briefings Bioinform. (2010)
Keyphrases
- computational models
- biological systems
- neural dynamics
- model checker
- model checking
- formal verification
- systems biology
- temporal logic
- formal methods
- description language
- living systems
- machine learning
- neural mechanisms
- complex biological systems
- biologically inspired design
- ai planning
- formal specification
- object oriented
- multi agent
- biologically inspired
- domain independent
- artificial intelligence