BioDiVinE: A Framework for Parallel Analysis of Biological Models
Název česky | BioDiVinE: Framework pro analýzu biologických modelů |
---|---|
Autoři | |
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 | |
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. ISSN 2075-2180. |
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: |