Filters
Automata and Logic for Symbolic Verification of Software (MEB021023)
The scientific goal of the proposed project is to significantly advance the state of the art in the area of symbolic logic-based and automata-based verification methods for infinite-state software, namely to increase the scalability...
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
Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures (GA14-11384S)
The project targets formal verification of infinite-state software systems of the current approaches to formal verification of programs handling unbounded data such programs, the project focuses on extending the current and developi...
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
Abstraction and Other Techniques in Semi-Symbolic Program Verification (GA18-02177S)
structures to enable efficient analysis and verification of computer programs written are easier to verify. However, invalid speculation may lead to an incorrect verification, the validity of which can be easily determined during t...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2018 - 2020 •
- 6 232 tis. Kč •
- 4 562 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2018 - 31. 12. 2020
Uznané náklady
Podpora ze státního rozpočtu (73%)
Poskytovatel: Grantová agentura České republiky
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
for formal verification with the goal of significantly increasing their generality significant challenge for the current verification methods. Namely, the project considers development of new verification methods for compu...
JC - Počítačový hardware a software
- 2010 - 2012 •
- 1 500 tis. Kč •
- 1 230 tis. Kč •
- MŠMT
Řešení projektu: 1. 5. 2010 - 31. 12. 2012
Uznané náklady
Podpora ze státního rozpočtu (82%)
Poskytovatel: Ministerstvo školství, mládeže a tělovýchovy
Verification and Bug Hunting for Advanced Software (GA17-12465S)
Automated software verification and bug hunting are hot topics in both industry and academia. Indeed, they can save a lot of money and, in case of safety-critical software, even human lives. This project aims at new automated methods of stat...
JC - Počítačový hardware a software
- 2017 - 2019 •
- 8 912 tis. Kč •
- 7 448 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2017 - 31. 12. 2019
Uznané náklady
Podpora ze státního rozpočtu (84%)
Poskytovatel: Grantová agentura České republiky
Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)
The focus of this project is formal verification of programs with infinite state spaces. Specifically, we target programs with dynamically allocated pointer data structures and programs manipulating unbounded strings. Verification m...
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
Algorithms and tools for practical verification of concurrent systems (GA201/00/1023)
for verification of concurrent systems. The main objectives and research priorities can ofcomputationally hard verification problems. 3. Analysis and development of new methods for symbolic state-space representation. 4. D...
JC - Počítačový hardware a software
- 2000 - 2002 •
- 1 429 tis. Kč •
- 736 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2000 - 1. 1. 2002
Uznané náklady
Podpora ze státního rozpočtu (52%)
Poskytovatel: Grantová agentura České republiky
Automated Verification of Parallel and Distributed Systems (GA201/03/0509)
for explicit and symbolic verification. 4. Decomposition and parallelization of selected for effective verification of cocnurrent systems. Main targets of the project can verification problems. In particular, expr...
BA - Obecná matematika
- 2003 - 2005 •
- 3 254 tis. Kč •
- 1 175 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2003 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (36%)
Poskytovatel: Grantová agentura České republiky
Advanced Analysis and Verification for Advanced Software (GA23-06506S)
To help software developers to cope with the huge and ever-increasing complexity of software, the project aims at new techniques of automated analysis and verification of advanced software, which uses low-level programming, new high-level on...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2023 - 2025 •
- 13 285 tis. Kč •
- 10 970 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2023 - 31. 12. 2025
Uznané náklady
Podpora ze státního rozpočtu (83%)
Poskytovatel: Grantová agentura České republiky
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
combinations. For handling infinite-state programs, efficient symbolic verification methodsAutomated verification of programs is currently a very hot issue due verification. In the former case, the project pays a ...
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
- 1 - 10 out of 2 040