Filters
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 infinite-stat...
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
Validation and verification of the model distribution and dispersion of heavy gas in specific situations (TH01031098)
The aim of the project is to produce a software module (DEGAS) designed for modeling of heavy gas under different weather conditions, which will be implemented in the expert system TerEx. Solving project envisages verification m...
AQ - Bezpečnost a ochrana zdraví, člověk – stroj
- 2015 - 2018 •
- 14 760 tis. Kč •
- 8 834 tis. Kč •
- TA ČR
Řešení projektu: 1. 1. 2015 - 31. 12. 2018
Uznané náklady
Podpora ze státního rozpočtu (60%)
Poskytovatel: Technologická agentura ČR
Automated software verification (GA201/06/1338)
as efficient verification technologies based on such models. The project will focus base for computer-aided and automatic verification and validation of software and tools ofsoftware engineering in automatic and computer-a...
IN - Informatika
- 2006 - 2008 •
- 1 430 tis. Kč •
- 1 430 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2006 - 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)
research project covers complementary methods, i.e., the model-driven design, the simulation-based verification, and the model checking of finite-state as well as infiniteHigh-level design and formal verification ...
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
The creation and experimental verification of a mathematical model of the membrane pump (GA101/01/0580)
This project is aimed on creation and experimental verification of a mathematical model of the membrane pump. Mathematical model it is relations between stote vectors in inlet and in outlet of the pump - between discharge a...
BK - Mechanika tekutin
- 2001 - 2003 •
- 1 096 tis. Kč •
- 1 096 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Verification and Analysis of Large-Scale Computer Systems (GA201/09/1389)
verification technologies based on such models. The project will focus on large-scale base for computer-aided and automatic verification and analysis of computer systems of software engineering in automatic and computer-ai...
IN - Informatika
- 2009 - 2011 •
- 1 892 tis. Kč •
- 1 892 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
*The use of the whole spectrum analysis of the scintillation detectors response in the cut and dry measuring instruments. (FI-IM2/106)
*Elaboration of the mathematic model for the use of the whole spectrum analysis of the scintillation detectors response and experimental accuracy verification. After the mathematic model verification on the experim...
JB - Senzory, čidla, měření a regulace
- 2005 - 2007 •
- 27 818 tis. Kč •
- 10 971 tis. Kč •
- MPO
Řešení projektu: 19. 4. 2005 - 31. 10. 2007
Uznané náklady
Podpora ze státního rozpočtu (39%)
Poskytovatel: Ministerstvo průmyslu a obchodu
Techniques for automatic verification and validation of software and hardware systems (1ET408050503)
of these models as well as efficient verification technologies based on such models base for computer-aided and automatic verification and validation of large software modelling of large systems, includin...
IN - Informatika
- 2005 - 2009 •
- 9 954 tis. Kč •
- 9 954 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
Research of methods and tools for verification of embedded computer system fault tolerance (GA102/03/0672)
Research of methods and tools for verification of embedded computer system the methods of fault tolerance verification, especially in the environment of control characteristics and formal verification, are considered. The f...
JC - Počítačový hardware a software
- 2003 - 2005 •
- 3 227 tis. Kč •
- 3 227 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2003 - 1. 1. 2005
Uznané náklady
Podpora ze státního rozpočtu (100%)
Poskytovatel: Grantová agentura České republiky
Development of model of prediction the quality of the CC-billets by viewing the requirements for the final product (GA106/01/0366)
This project is aimed at development, verification and implementation of the model for prediction of quality of the CC-billets while taking into account the requirements for the final product (wire). Its verification will b...
JG - Hutnictví, kovové materiály
- 2001 - 2003 •
- 5 425 tis. Kč •
- 2 095 tis. Kč •
- GA ČR
Řešení projektu: 1. 1. 2001 - 1. 1. 2003
Uznané náklady
Podpora ze státního rozpočtu (39%)
Poskytovatel: Grantová agentura České republiky
- 1 - 10 out of 12 043