BioDiVinE: A Framework for Parallel Analysis of Biological Models

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
Druh Článek ve sborníku
Citace BARNAT, Jiří, Luboš BRIM, Ivana ČERNÁ, Sven DRAŽAN, Jana FABRIKOVÁ, Jan LÁNÍK, David ŠAFRÁNEK a Ma HONGWU. BioDiVinE: A Framework for Parallel Analysis of Biological Models. In Proceedings of 2nd International Workshop on Computational Models for Cell Processes. Neuveden: EPTCS, 2009. s. 31-45, 15 s. ISSN 2075-2180.
Originální jazyk angličtina
Obor Informatika
Klíčová slova model checking; multi-affine systems; dynamic systems; rectangular abstraction

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info