Project information
BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací
(BioDiVinECTL)
- Project Identification
- MUNI/33/15/2014
- Project Period
- 12/2014 - 8/2015
- Investor / Pogramme / Project type
-
Masaryk University
- FI Dean's Programme
- MU Faculty or unit
- Faculty of Informatics
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.