Informace o projektu
BioDiVinE CTL: Nástroj pro syntézu parametrů dynamických systémů omezených CTL specifikací
| Kód projektu | MUNI/33/15/2014 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.12.2014–31.08.2015 |
| Stav | ukončený |
| Investor | Masarykova univerzita |
| Program | Program děkana FI |
| Řešitel za FI | |
| Členové realizačního týmu za FI |
Anotace
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.