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

10 999 (0,117s) •

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 preference modelling we shall focus on the theory of fu...

IN - Informatika

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

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 be used for checking the properties of modele...

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

  • 2007 - 2008
    • •
  • 352 tis. Kč
    • •
  • 352 tis. Kč
    • •
  • GA ČR
Project

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

properties of formalisms for modeling infinite-state systems - their expressive powerQuality assurance processes based mainly on humans are not suitable for development of current extensive hardware and software systems. Applicatio...

IN - Informatika

  • 2008 - 2010
    • •
  • 435 tis. Kč
    • •
  • 435 tis. Kč
    • •
  • GA ČR
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
Project

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

with respect to model checking. The work on the formal verification methods will focus components with formal behavior description and by designing tools for automated checking of the architecture of applications composed ...

IN - Informatika

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

Formal Verification of Stochastic Real-Time Systems (GPP202/12/P612)

, SRTS). Random aspects of systems are usually modeled using various kinds of stochastic processes. Real-time systems are typically modeled using variants of timed automata. In order to model SRTS, these formalisms...

IN - Informatika

  • 2012 - 2014
    • •
  • 827 tis. Kč
    • •
  • 827 tis. Kč
    • •
  • GA ČR
Project

Parameter Discovery for Biological Models Using Model Checking (GA15-11089S)

coming from computer science, especially, the field of formal methods. This is motivated by the need for model-based computational analysis and exploration of hardly constants and other model parameters is an essential par...

IN - Informatika

  • 2015 - 2017
    • •
  • 4 562 tis. Kč
    • •
  • 4 562 tis. Kč
    • •
  • GA ČR
Project

KnowSched Knowledge Techniques in Scheduling (GAP202/10/1188)

of scheduling problems, proposing formalism for modeling them, and providing an extendible research lies in the increasing distance between the studied formal problems and temporal constraints, the logical constraints will...

IN - Informatika

  • 2010 - 2013
    • •
  • 2 448 tis. Kč
    • •
  • 2 448 tis. Kč
    • •
  • GA ČR
Project

KATRA Knowledge, Action and Time – A Relevant Approach (GC25-17958J)

. However, current formal models used in analytic philosophy often struggle to capture principal investigators, this project will study formal models of reasoning about in more realistic models of reasonin...

Philosophy, History and Philosophy of science and technology

  • 2025 - 2027
    • •
  • 3 953 tis. Kč
    • •
  • 3 953 tis. Kč
    • •
  • GA ČR
  • 1 - 10 out of 10 999