BioDiVinE: A Tool for Parallel Analysis of Multi-Affine ODE Models

• Název česky: BioDiVinE: Nástroj pro paralelní analýzu multi-afinních ODE modelů
• Autoři: BARNAT Jiří; BRIM Luboš; ČERNÁ Ivana; DRAŽAN Sven; FABRIKOVÁ Jana; LÁNÍK Jan; ŠAFRÁNEK David
• Rok publikování: 2009
• Druh: Článek ve sborníku
• Konference: Computational Mehotds in Systems Biology: Abstract of the Posters
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Informatika
• Klíčová slova: parallel model checking; ordinary differential equations; multi-affine systems
• Popis: Článek se zaměřuje na analýzu dynamických systémů popisujících chování biologických sítí. Biologický model je chápán ve formě multi-afinního systému diferenciálních rovnic. Spojitý stavový prostor je abstrahován prostřednictvím konečné obdélníkové abstrakce. Nad konečnou abstrakcí je prováděna analýza metodou model checking.

Související projekty

• Techniky automatické verifikace a validace softwarových a hardwarových systémů
• Vysoce paralelní a distribuované výpočetní systémy