Filtry
Zobrazit více
Zobrazit více
Zobrazit více
Zobrazit více
Více filtrů
Projekty
Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB020840)
Cílem projektu je přispět k výzkumu metod model checkingu nekonečně stavových systémů tak, aby byly v co největší míře odstraněny jejich současná omezení jak v oblasti efektivity, tak v oblasti obecnosti.......
IN - Informatika
- 2008 - 2009 •
- 92 tis. Kč •
- 92 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2008 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Model checking paralelního software s využitím automatické dedukce object ownership vzorů (GPP202/12/P180)
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 v samotné...
IN - Informatika
- 2012 - 2013 •
- 672 tis. Kč •
- 672 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2012 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Využití metodiky Model checking pro testování systémů I&C v jaderné energetice (TK01020068)
nástroje na principu Model checking pro ověřování návrhu algoritmů I&C a vygenerování...
Nuclear related engineering; (nuclear physics to be 1.3);
- 2018 - 2021 •
- 31 409 tis. Kč •
- 18 274 tis. Kč •
- TA ČR
Řešení projektu: 1. 7. 2018 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (58%)
Poskytovatel: Technologická agentura ČR
Abstraktní interpretace a verifikace parametrizovaných booleovských regulačních sítí (8J18FR045)
biologie (Sybila FI MU, model checking a paralelní algoritmy)....
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2019 •
- 108 tis. Kč •
- 98 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2018 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (91%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Rozvoj technik pro automatické verifikace programů s dynamickými datovými strukturami (GP201/09/P531)
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
- 2009 - 2011 •
- 708 tis. Kč •
- 708 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)
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
- 2007 - 2009 •
- 2 367 tis. Kč •
- 2 367 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Analýza korektnosti vícevláknových programů v C a C++ (GA15-08772S)
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). Konkrétním cíl...
IN - Informatika
- 2015 - 2017 •
- 4 998 tis. Kč •
- 4 998 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2017
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
*Výzkum a vývoj technologie a výroby odlitků pro nářadí. (FI-IM/152)
*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í
- 2004 - 2005 •
- 8 393 tis. Kč •
- 2 460 tis. Kč •
- MPO
Řešení projektu: 1. 1. 2004 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (29%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
, včetně model checkingu, a také jejích vhodných kombinací. Pro práci s programy...
JC - Počítačový hardware a software
- 2010 - 2013 •
- 4 752 tis. Kč •
- 4 752 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Škálovatelné techniky pro analýzu komplexních vlastností počítačových systémů (GA20-07487S)
checkingu, tak i dynamická analýza s využitím extrapolace a vkládání šumu. V případě...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 - 2022 •
- 10 611 tis. Kč •
- 9 278 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2020 - 31. 12. 2022
Uznané náklady
Podpora ze státního rozpočtu (87%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 z 31