All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”
EN
ČeštinaEnglish

Filters

1 881 (0,103s) •

Project

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: Verification

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
Project

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 and decidability of basic verification problems for...

IN - Informatika

  • 2008 - 2010
    • •
  • 435 tis. Kč
    • •
  • 435 tis. Kč
    • •
  • GA ČR
Project

Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)

Automated verification of programs is currently a very hot issue due verification. In the former case, the project pays a special attention to verification, verification of programs manipulating different unbounded...

JC - Počítačový hardware a software

  • 2010 - 2013
    • •
  • 4 752 tis. Kč
    • •
  • 4 752 tis. Kč
    • •
  • GA ČR
Project

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
Project

Automated Verification of Parallel and Distributed Systems (GA201/03/0509)

for effective verification of cocnurrent systems. Main targets of the project can verification problems. In particular, expressivelly restricted model languages which allow for more effective verification algorithms will b...

BA - Obecná matematika

  • 2003 - 2005
    • •
  • 3 254 tis. Kč
    • •
  • 1 175 tis. Kč
    • •
  • GA ČR
Project

Realistic application of formal methods in component systems (1ET400300504)

verification of component application properties, and to propose and test methods for verification of software components and component applications using this platform. The platform will be open to the emerging methods of formal <...

IN - Informatika

  • 2005 - 2009
    • •
  • 12 881 tis. Kč
    • •
  • 12 881 tis. Kč
    • •
  • AV ČR
Project

Experimental verification of the Capability Planning Methodology of the Ministry of Defence (OYUOB20210001)

Experimental verification of the Capability Planning Methodology of the Ministry of Defense, based on which, if necessary, recommendations for its amendment will be formulated and a general procedure for experimental verification of...

Sociology

  • 2021 - 2024
    • •
  • 125 tis. Kč
    • •
  • 125 tis. Kč
    • •
  • MO
Project

Advanced Methods for Automatic Verification of Infinite-state Systems (MEB020840)

The goal of the project is to contribute to the development of methods for automated verification of infinite-state systems such that their current limitations both in the sense of efficiency as well as generality are reduced as much as poss...

IN - Informatika

  • 2008 - 2009
    • •
  • 92 tis. Kč
    • •
  • 92 tis. Kč
    • •
  • MŠMT
Project

Pilot verification in SOA Plzen (TITDMVCR701MT04)

The experience with Elza has led to a number of key areas that should be addressed in pilot verification: - working with index passwords and / Access points - multilingual fields - formatting in description elements and creation of attachmen...

IN - Informatika

  • 2017 - 2017
    • •
  • 169 tis. Kč
    • •
  • 169 tis. Kč
    • •
  • TA ČR
Project

Multimodal identification, authorization and verification of persons (EG17_107/0012507)

The aim of the project is to develop a SW solution that will provide secure and trustworthy multimodal identification, authorization and verification of persons, including related electronic transactions and signatures with the primary focus...

Automation and control systems

  • 2018 - 2021
    • •
  • 15 539 tis. Kč
    • •
  • 0 tis. Kč
    • •
  • MPO
  • 1 - 10 out of 1 881