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

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info