High-performance analysis of biological systems dynamics with the DiVinE model checker
Language English Country Great Britain, England Media print-electronic
Document type Journal Article, Research Support, Non-U.S. Gov't
PubMed
20478855
DOI
10.1093/bib/bbp074
PII: bbp074
Knihovny.cz E-resources
- MeSH
- Algorithms * MeSH
- Models, Biological * MeSH
- Biology methods MeSH
- Software Design MeSH
- Computer Simulation * MeSH
- Programming Languages * MeSH
- Software * MeSH
- Systems Integration MeSH
- Publication type
- Journal Article MeSH
- Research Support, Non-U.S. Gov't MeSH
The current interest in systems biology is to gain a better understanding of how the complex dynamic behaviour of the cell emerges from mutual interactions of molecular species. When solving such a nontrivial goal, biological data have to be necessarily integrated with mathematical modelling and computer analysis. Since the key aspect of biological modelling is based on unifying several kinds of data captured in terms of large-scale biological networks, scalable and automatized methods are necessary to obtain novel predictions and understanding. In this review, we provide a brief description of the tool DiVinE adapted for automatized analysis of biological systems dynamics. The tool employs high-performance computing techniques to enable analysis of large models.
References provided by Crossref.org
