Informace o projektu
BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací
(BioDiVinECTL)
- Kód projektu
- MUNI/33/15/2014
- Období řešení
- 12/2014 - 8/2015
- Investor / Programový rámec / typ projektu
-
Masarykova univerzita
- Program děkana FI
- Fakulta / Pracoviště MU
- Fakulta informatiky
Cílem projektu je navrhnout a implementovat nástroj pro syntézu kinetických parametrů diferenciálních modelů biochemických dynamických systémů garantujících splnění formulí logiky větvícího se času (CTL). Technicky bude k tomuto účelu adaptována metoda barevného model checkingu vyvinutá původně pro LTL v rámci nástroje BioDiVinE. Provedená implementace bude využívat regulárnosti stavového prostoru biochemických prostorů k efektivnímu distribuovanému výpočtu na klastru.