Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F08%3A00024143" target="_blank" >RIV/00216224:14330/08:00024143 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
angličtina
Original language name
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Original language description
Studies of cells in silico can greatly reduce the need for expensive and prolonged laboratory experimentation. The use of model checking for the analysis of biological networks has attracted much attention recently. One of the practical limitations is the size of the model. In the paper we report on parallel model checking of genetic regulatory network using the model-checker DiVinE. The approach can check linear time properties on large networks.
Czech name
Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE
Czech description
Studium buněk živých organismů prostřednictvím umělého modelu (in silico) se ukazuje jako metoda, která může značně usnadnit nákladný a obtížný laboratorní výzkum. Pro analýzu chování biochemických sítí je již několik let nasazována metoda ověřování modelů. Základním problémem při praktickém nasazení této metody je velikost stavového prostoru modelovaného systému molekulární dynamiky. V tomto článku je popsán paralelní přístup k simulaci a ověřování dynamických modelů biologických sítí.

Project
<a href="/en/project/1ET408050503" target="_blank" >1ET408050503: Techniques for automatic verification and validation of software and hardware systems</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)