Filtry
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
Automaty a logiky v symbolické verifikaci software. (MEB021023)
Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...
JC - Počítačový hardware a software
- 2010 - 2011 •
- 121 tis. Kč •
- 121 tis. Kč •
- MŠMT
Řešení projektu: 1. 1. 2010 - 31. 1. 2011
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Algoritmy pro diskrétní systémy a hry s nekonečně mnoha stavy (GA18-11193S)
Algoritmická teorie her poskytuje modelovací a analytické prostředky hojně využívané v různých oblastech informatiky, včetně formální verifikace a multi-agentních systémů. V rámci projektu je věnována speciální pozornost hrám s nekonečnou arénou a ta...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2020 •
- 9 463 tis. Kč •
- 5 660 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2020
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Grantová agentura České republiky
Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí (GA14-11384S)
Projekt směřuje do oblasti formální verifikace nekonečně stavových softwarových systémů. Konkrétně se soustředí na zvýšení automatizace, škálovatelnosti a obecnosti současných metod formální verifikace programů s neomezenými datovými strukturami, jak...
JC - Počítačový hardware a software
- 2014 - 2016 •
- 5 775 tis. Kč •
- 5 775 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2014 - 31. 12. 2016
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Verifikace nekonečně stavových systémů založená na konečných automatech (GP13-37876P)
Projekt je zaměřen na formální verifikaci programů s nekonečnými stavovými prostory, zvláště pak na programy s dynamicky alokovanými ukazatelovými strukturami a programy manipulující řetězce neohraničené délky. Verifikační nástroje pro obě třídy prog...
IN - Informatika
- 2013 - 2015 •
- 2 289 tis. Kč •
- 2 289 tis. Kč •
- GA ČR
Řešení projektu: 1. 2. 2013 - 31. 12. 2015
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Aplikace optimalizačních metod a metod algebraické geometrie pro syntézu systémů s dopravním zpožděním. (MEB020915)
projektu navazovat na výsledky publikované v [3-6]. Software HIFOO (H-Infinity Fixed...
BC - Teorie a systémy řízení
- 2009 - 2010 •
- 105 tis. Kč •
- 105 tis. Kč •
- MŠMT
Řešení projektu: 1. 4. 2009 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Formální verifikace algoritmy, vlastnosti modelovacích formalismů a temporálních logik (GP201/08/P375)
Procesy ověřování a garance kvality založené převážně na práci lidí nejsou vhodné pro vývoj dnešních rozsáhlých hardwarových a softwarových systémů. Perspektivním řešením je použití automatizovaných nástrojů pro formální verifikaci systémů. A právě v...
IN - Informatika
- 2008 - 2010 •
- 435 tis. Kč •
- 435 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2008 - 31. 12. 2010
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Algebraické a kombinatorické aspekty aperiodických struktur (GA201/09/0584)
Projekt se věnuje studiu různých aspektů struktur s nízkou komplexitou. Soustřeďujeme se na aperiodické struktury spojené se symbolickými dynamickými systémy, s nestandardními numeračními systémy a matematickými modely pro nekrystalografické látky s ...
BA - Obecná matematika
- 2009 - 2012 •
- 1 384 tis. Kč •
- 1 384 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2009 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Verification and Validation of Automated Systems' Safety and Security (8A20008)
The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost n...
Computer hardware and architecture
- 2020 - 2023 •
- 8 251 tis. Kč •
- 3 300 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 31. 7. 2023
Uznané náklady
Podpora ze státního rozpočtu (40%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verification and Validation of Automated Systems' Safety and Security (8A20009)
The high complexity of automated systems incurs an overhead on the V&V process making it time-consuming and costly. VALU3S aims to design, implement and evaluate state-of-the-art V&V methods and tools that reduce the time and cost n...
Computer hardware and architecture
- 2020 - 2023 •
- 16 825 tis. Kč •
- 10 935 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2020 - 31. 7. 2023
Uznané náklady
Podpora ze státního rozpočtu (65%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
- 1 - 10 z 3 495