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