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

Varování

Publikace nespadá pod Pedagogickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

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