Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/1ET408050503" target="_blank" >1ET408050503: Techniky automatické verifikace a validace softwarových a hardwarových systémů</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2008
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ů

Podobné výsledky(10)