BioDiVinE
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F09%3A00028602" target="_blank" >RIV/00216224:14330/09:00028602 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
BioDiVinE
Popis výsledku v původním jazyce
The tool BioDiVinE is devoted for parallel analysis of biological models. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided.
Název v anglickém jazyce
BioDiVinE
Popis výsledku anglicky
The tool BioDiVinE is devoted for parallel analysis of biological models. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided.
Klasifikace
Druh
R - Software
CEP obor
IN - Informatika
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
BioDiVinE
Technické parametry
Balik software volne sireneho v licenci GPL, urceny pro experimentalni analyzu modelu dynamiky biologickych systemu.
Ekonomické parametry
—
IČO vlastníka výsledku
00216224
Název vlastníka
Fakulta Informatiky, Masarykova univerzita