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

16 889 (0,129s) •

Project

Decidability Issues for process algebras (GA201/98/P046)

systems, especially in the area of verification of infinite-state systems. Main comparison of expressibility of various models for infinite-state systems. (2 of infinite-sta...

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

  • 1998 - 2000
    • •
  • 725 tis. Kč
    • •
  • 585 tis. Kč
    • •
  • GA ČR
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 reduc...

IN - Informatika

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

Analysis of Concurrent Infinite State Systems (GA201/93/2123)

BA - Obecná matematika

  • 1993 - 1995
    • •
  • 130 tis. Kč
    • •
  • 260 tis. Kč
    • •
  • GA ČR
Project

Algorithms for Infinite-State Discrete Systems and Games (GA18-11193S)

Algorithmic game theory provides convenient tools for modeling and analysis of problems related to formal verification and multi-agent planning. In the framework of the proposed project, special attention is devoted to games with infinitely ...

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

  • 2018 - 2020
    • •
  • 9 463 tis. Kč
    • •
  • 5 660 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 power and decidability of basic verification problems for the corresponding classes of infinite-state systems progr...

IN - Informatika

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

Decidability and complexity of observational equivalences on infinite - state processes (GA201/99/D026)

of concurrent systems, inparticular with regard to the decidability of the problems connected to verification of infinite - state processes. The main question we want to address is the testing of certain observational equi...

BC - Teorie a systémy řízení

  • 1999 - 2002
    • •
  • 231 tis. Kč
    • •
  • 231 tis. Kč
    • •
  • GA ČR
Project

Advanced Methods of Automatic Verification of Parametric and Infinite-State Systems (GP102/03/D211)

proposed for the case the considered systems have a finite state space, automatic verification of infinite-state and parametric systems is significantly less developed. ManyA constant growth in the comple...

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

  • 2003 - 2006
    • •
  • 604 tis. Kč
    • •
  • 604 tis. Kč
    • •
  • GA ČR
Project

Verification of Infinite State Systems Based on Finite Automata (GP13-37876P)

The focus of this project is formal verification of programs with infinite state spaces. Specifically, we target programs with dynamically allocated pointer data structures and programs manipulating unbounded strings. Verification m...

IN - Informatika

  • 2013 - 2015
    • •
  • 2 289 tis. Kč
    • •
  • 2 289 tis. Kč
    • •
  • GA ČR
Project

Algorithmic verification boundaries for infinite-state systems (GA201/97/0456)

and verification of complex (infinite state) concurrent systems It is the area of boundaries for algorithmic verification, where verification means checking equivalencies of systems)testin regularity (i.e. equival...

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

  • 1997 - 1999
    • •
  • 1 053 tis. Kč
    • •
  • 833 tis. Kč
    • •
  • GA ČR
Project

Automata and Logic for Symbolic Verification of Software (MEB021023)

The scientific goal of the proposed project is to significantly advance the state of the art in the area of symbolic logic-based and automata-based verification methods for infinite-state software, namely to increase the sc...

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

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
  • 1 - 10 out of 16 889