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