Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Paralelní ověřování rozsáhlých genetických regulačních sítí nástrojem DiVinE
Autoři	BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven ŠAFRÁNEK David
Rok publikování	2008
Druh	Článek ve sborníku
Konference	Electronic Notes in Theoretical Computer Science
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	genetic regulatory networks; discrete simulation; parallel model checking
Popis	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í.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Vysoce paralelní a distribuované výpočetní systémy