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

470 (0,1s) •

Project

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

components with formal behavior description and by designing tools for automated checking of the architecture of applications composed of components with formal behavior description. The project aims to design and implement a funct...

IN - Informatika

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

Analysis of Formal Structures of Legal Documents (KJB7068303)

The principal purpose of the project is detailed analysis of formal structures used in the texts of Czech law in the light of the latest possibilities provided by the development of the technology and the data base of legal texts. Formal...

AG - Právní vědy

  • 2003 - 2005
    • •
  • 1 146 tis. Kč
    • •
  • 653 tis. Kč
    • •
  • AV ČR
Project

Formal languages systems, research and implementation (MEB080878)

Main goal is international team building. Young researches will be adopted into the team and paper in CAI journal will be prepared and submited....

IN - Informatika

  • 2008 - 2009
    • •
  • 42 tis. Kč
    • •
  • 42 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

Framework for the deductive analysis of embedded software (GP201/07/P544)

The proposed project aims at basic research in the area of possible support of formal methods for domain specific modeling languages (DSML) for embedded systems by means of designing a formal verification framework based on a deduct...

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

  • 2007 - 2008
    • •
  • 352 tis. Kč
    • •
  • 352 tis. Kč
    • •
  • GA Č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 for improving reliability and safety of computer systems. This project is proposed with the prestigious research teams. The project aims to explore and use advanced forma...

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

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

A Framework for Formal Specifications and Prototyping of Information System's Network Applications (GA102/05/0723)

system application designs. The project targets creation of a formal specification a new formal approach; instead, it should create methods and techniques that enable to utilize current formal specification means in real-w...

IN - Informatika

  • 2005 - 2007
    • •
  • 1 740 tis. Kč
    • •
  • 1 740 tis. Kč
    • •
  • GA ČR
Project

Formal verification algorithms, properties of modelling formalisms and temporal logics (GP201/08/P375)

Quality assurance processes based mainly on humans are not suitable for development of current extensive hardware and software systems. Application of automatic verification tools is a promising solution. Research in the area of automatic formal<...

IN - Informatika

  • 2008 - 2010
    • •
  • 435 tis. Kč
    • •
  • 435 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 recently by the memb...

IN - Informatika

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

New possibilities in automatic verification of network protocols (GP201/08/P459)

The aim of the project is to study formalisms for network comunication system specification at a very early stage of design. Variety of studies has been done on Message Sequence Charts (MSC) formalism in this research area. Eventhou...

IN - Informatika

  • 2008 - 2010
    • •
  • 702 tis. Kč
    • •
  • 702 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 470