Informace o projektu
BioDiVinE v1.5: A tool for formal analysis of dynamical systems
| Kód projektu | MUNI/33/21/2013 CEP CORDIS MU WEB INET MU |
|---|---|
| Doba řešení | 01.01.2014–30.06.2014 |
| 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 refaktorizace, rozšíření a integrace výpočetních technik pro formální analýzu spojitých dynamických modelů biologických procesů. Jedná se o metody pro syntézu parametrů a model checking vzhledem k požadovaným dynamickým omezením reprezentovaným v temporální logice. Metody využívají obdélníkovou abstrakci. Techniky byly dosud implementovány pouze jako experimentální prototypy, cílem je tedy vytvoření integrovaného nástroje.