BioDiVinE: A Framework for Parallel Analysis of Biological Models

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	BioDiVinE: Framework pro analýzu biologických modelů
Autoři	BARNAT Jiří BRIM Luboš ČERNÁ Ivana DRAŽAN Sven FABRIKOVÁ Jana LÁNÍK Jan ŠAFRÁNEK David HONGWU Ma
Rok publikování	2009
Druh	Článek ve sborníku
Konference	Proceedings of 2nd International Workshop on Computational Models for Cell Processes
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	model checking; multi-affine systems; dynamic systems; rectangular abstraction
Popis	V článku je představen nástroj BioDiVinE pro paralelní analýzu biologických modelů. Nástroj umožňuje analýzu kvalitativních temporálních vlastností dynamiky prostřednictvím obdélníkové abstrakce. Použití je demonstrováno prostřednictvím případové studie na reálném biologickém modelu bakterie E.Coli.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Vysoce paralelní a distribuované výpočetní systémy Verifikace a analýza velmi velkých počítačových systémů Automatizovaná formální verifikace s využitím soudobého hardware