Informace o projektu
Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí
Kód projektu | 8J18FR045 CEP CORDIS MU WEB INET MU |
---|---|
Doba řešení | 01.01.2018–31.12.2019 |
Stav | ukončený |
Investor | Ministerstvo školství, mládeže a tělovýchovy ČR |
Program | Aktivita MOBILITY |
Řešitel za FI |
Anotace
Analýza dynamických systémů prostřednictvím vhodných informatických modelů je jedním ze zásadních stavebních kamenů moderního paradigmatu systémové biologie. Motivace pro použití vhodných formalismů a výpočetních technik z oblasti počítačové vědy vychází z podstaty fungování biologického systému jako souboru komplexních souběžných procesů. Jedním z široce použávaných modelů jsou tzv. boolovské regulační sítě. Cílem projektu je rozšíření existujících formálních technik pro analýzu boolovských sítí s ohledem na jejich parametrizovanost bez nutnosti generování úplného stavového prostoru. Projekt je řešen ve spolupráci dvou špičkových skupin v oblasti formálních metod -- LRI Paris-Sud (statická analýza a Petriho sítě) a Laboratoř systémové biologie (Sybila FI MU, model checking a paralelní algoritmy).