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

13 656 (0,125s) •

Project

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
Project

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-level design...

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

  • 2007 - 2009
    • •
  • 2 367 tis. Kč
    • •
  • 2 367 tis. Kč
    • •
  • GA ČR
Project

Formal foundations of fuzzy preference modelling (MEB060717)

The project aims at applying the methods and apparatus of formal fuzzy logic to traditional notions and problems of fuzzy preference modelling. Formal methods will be represented by fuzzy class theory, developed re...

IN - Informatika

  • 2008 - 2008
    • •
  • 30 tis. Kč
    • •
  • 30 tis. Kč
    • •
  • MŠMT
Project

Formal methods applicable to development of component-based systems (GA201/06/0770)

). Formal methods have a strong backing in academic research, and have already been successfully applied in several industrial projects. However, formal methods still impose is available. The platform will be exten...

IN - Informatika

  • 2006 - 2008
    • •
  • 1 467 tis. Kč
    • •
  • 1 467 tis. Kč
    • •
  • GA ČR
Project

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 methods

IN - Informatika

  • 2010 - 2014
    • •
  • 7 332 tis. Kč
    • •
  • 7 332 tis. Kč
    • •
  • GA ČR
Project

Classification with use of formal concept analysis (GPP202/10/P360)

The project focuses on the problem of classification using the formal concept. The emphasis is on the theory and development of methods and algorithms. The goal are new methods of classification of (large) data using FCA, t...

IN - Informatika

  • 2010 - 2012
    • •
  • 541 tis. Kč
    • •
  • 541 tis. Kč
    • •
  • GA ČR
Project

Special soft computing techniques for decision making in management (1P05ME739)

study of special methods of formal logics for representation of hiearchical systems fuzzy IF-THEN rules...

IN - Informatika

  • 2005 - 2005
    • •
  • 67 tis. Kč
    • •
  • 67 tis. Kč
    • •
  • MŠMT
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 of the grant is to finish the development of university tools based ...

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

NextReason Next Generation Computer Assisted Reasoning (GX25-17929X)

and neuro-symbolic methods for a range of reasoning paradigms, (ii) AI approaches for learning-guided decomposition of hard problems, (iii) methods for automated formalization, (iv) neuro-symbolic methods for conj...

Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

  • 2025 - 2029
    • •
  • 49 505 tis. Kč
    • •
  • 49 505 tis. Kč
    • •
  • GA ČR
Project

Software Components in Embedded Systems Development and Verification (GAP202/11/0312)

a methodology for developing embedded applications from reusable components, methods and tools for specification and formal description of components systems, methods and tools for formal verification of corectnes...

IN - Informatika

  • 2011 - 2013
    • •
  • 8 149 tis. Kč
    • •
  • 8 149 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 13 656