Verifikace vícevláknového softwaru model checkingem je těžký problém, zejména kvůli explozi stavového prostoru. Správnost takového softwaru závisí na dodržení jistých synchronizačních pravidel navržených vývojáři, ale nezachycených ...

IN - Informatika

Řešení projektu: 1. 1. 2012 - 31. 12. 2013
• 2012 - 2013
•

Uznané náklady
• 672 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 672 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

biologie (Sybila FI MU, model checking a paralelní algoritmy).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 sou...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Řešení projektu: 1. 1. 2018 - 31. 12. 2019
• 2018 - 2019
•

Uznané náklady
• 108 tis. Kč
•

Podpora ze státního rozpočtu (91%)
• 98 tis. Kč
•

Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
• MŠMT

Projekt se zaměřuje na výzkum a vývoj nových algoritmů a datových struktur, které umožní efektivní verifikaci vícevláknových programů zapsaných v programovacích jazycích C a C++ metodou ověřování modelu (angl. model checking

IN - Informatika

Řešení projektu: 1. 1. 2015 - 31. 12. 2017
• 2015 - 2017
•

Uznané náklady
• 4 998 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 4 998 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

Cílem projektu je rozvoj metod pro automatickou verifikaci programů s nekonečně stavovými prostory se zaměřením na programy s dynamickými datovými strukturami.......

JC - Počítačový hardware a software

Řešení projektu: 1. 1. 2009 - 31. 12. 2011
• 2009 - 2011
•

Uznané náklady
• 708 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 708 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

se doplňujících metod návrhu založeného na modelech, simulační verifikaci a model checkingu...

JC - Počítačový hardware a software

Řešení projektu: 1. 1. 2007 - 31. 12. 2009
• 2007 - 2009
•

Uznané náklady
• 2 367 tis. Kč
•

Podpora ze státního rozpočtu (100%)
• 2 367 tis. Kč
•

Poskytovatel: Grantová agentura České republiky
• GA ČR

Cílem projektu je přispět výzkumem realizovaným v koordinaci s COST akcí IC0901 k výraznému zlepšení obecnosti a efektivnosti metod automatické verifikace počítačových systémů se složitými datovými strukturami a pokročilými rysy paralelismu.......

JC - Počítačový hardware a software

Řešení projektu: 1. 5. 2010 - 31. 12. 2012
• 2010 - 2012
•

Uznané náklady
• 1 500 tis. Kč
•

Podpora ze státního rozpočtu (82%)
• 1 230 tis. Kč
•

Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
• MŠMT

*Výzkum a vývoj technologie a výroby odlitků pro nářadí. Technologická příprava odlitku a modelu; optimalizace postupů jejich přípravy a výroby; zajištění kvality odlitků na požadované úrovni; podstatné zkrácení cyklu příprava výroby.......

JP - Průmyslové procesy a zpracování

Řešení projektu: 1. 1. 2004 - 1. 1. 2005
• 2004 - 2005
•

Uznané náklady
• 8 393 tis. Kč
•

Podpora ze státního rozpočtu (29%)
• 2 460 tis. Kč
•

Poskytovatel: Ministerstvo průmyslu a obchodu
• MPO