Informace o publikaci

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
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:

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

Další info