Filters
Show less
Show less
Show less
Show less
Show less
Show more
More filters
Projects
Automation of Formal Verification (TH04010192)
The goal of the AUtomation FOrmal Verification (AUFOVER) project is to develop automated formal verification tools and integrate them for industrial use. The tools will be developed or improved within the project: ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 - 2021 •
- 27 914 tis. Kč •
- 16 376 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2019 - 31. 12. 2021
Uznané náklady
Podpora ze státního rozpočtu (59%)
Poskytovatel: Technologická agentura ČR
Realistic application of formal methods in component systems (1ET400300504)
. The platform will be open to the emerging methods of formal verification and code analysis with respect to model checking. The work on the formal verification methods will focus components with formal be...
IN - Informatika
- 2005 - 2009 •
- 12 881 tis. Kč •
- 12 881 tis. Kč •
- AV ČR
Řešení projektu: 1. 1. 2005 - 31. 12. 2009
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Akademie věd České republiky
Formal verification algorithms, properties of modelling formalisms and temporal logics (GP201/08/P375)
verification tools is a promising solution. Research in the area of automatic formal verification is the aim of the proposed project. More precisely, the proposer intends properties of formalisms for modeling infi...
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
Framework for the deductive analysis of embedded software (GP201/07/P544)
of formal methods for domain specific modeling languages (DSML) for embedded systems by means of designing a formal verification framework based on a deductive verification of verification tools can be
JC - Počítačový hardware a software
- 2007 - 2008 •
- 352 tis. Kč •
- 352 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2007 - 31. 12. 2008
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems (GA102/07/0322)
High-level design and formal verification are promising approaches with the prestigious research teams. The project aims to explore and use advanced formal approaches, and artificial intelligence in the area of the high-lev...
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
Formal methods for analysis and verification of complex systems (GAP202/10/1469)
Formal verification utilizes mathematical methods for proving that a system satisfies desired properties. Verification methods are usually tailored for a specific at designing new verification and analytical method...
IN - Informatika
- 2010 - 2014 •
- 7 332 tis. Kč •
- 7 332 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2010 - 31. 12. 2014
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
New possibilities in automatic verification of network protocols (GP201/08/P459)
The aim of the project is to study formalisms for network comunication system Sequence Charts (MSC) formalism in this research area. Eventhough MSC is formaly subsets of this formalism only. On the other hand, there are man...
IN - Informatika
- 2008 - 2010 •
- 702 tis. Kč •
- 702 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
Software Components in Embedded Systems Development and Verification (GAP202/11/0312)
and tools for specification and formal description of components systems, methods and tools for formal verification of corectness of applications composedThe project aims at development of new original methods an technique...
IN - Informatika
- 2011 - 2013 •
- 8 149 tis. Kč •
- 8 149 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2011 - 31. 12. 2013
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
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 verification approaches based on automata and...
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
Game Theory in Formal Analysis and Verification of Computer Systems (GA15-17564S)
The project is focussed on the development of game-theoretic methods and algorithms for formal analysis and verification of interactive computer systems. The behaviour of such systems can be understood as a game of two players, the ...
IN - Informatika
- 2015 - 2017 •
- 6 743 tis. Kč •
- 6 743 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
- 1 - 10 out of 2 249