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

9 604 (0,136s) •

Project

Scalable Techniques for Analysis of Complex Properties of Computer Systems (GA20-07487S)

the project aims to attack, concentrating on several complementary types of program constructions that are particularly problematic for current automated analyses: namely, low-level pointer operations, dealing wit...

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

  • 2020 - 2022
    • •
  • 10 611 tis. Kč
    • •
  • 9 278 tis. Kč
    • •
  • GA ČR
Project

Advanced Analysis and Verification for Advanced Software (GA23-06506S)

and verification of advanced software, which uses low-level programming, new high-level Horn clauses). The low-level programs to be verified include especially programs with

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

  • 2023 - 2025
    • •
  • 13 285 tis. Kč
    • •
  • 10 970 tis. Kč
    • •
  • GA ČR
Project

Verification and Bug Hunting for Advanced Software (GA17-12465S)

) as well as extrapolating dynamic analysis and advanced testing of programs that use several classes of advanced programming constructions. In particular, the project concentrates on pointer programs, concurrent <...

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

  • 2017 - 2019
    • •
  • 8 912 tis. Kč
    • •
  • 7 448 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 strin...

IN - Informatika

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

Automatic Formal Analysis and Verification of Programs with Complex Unbounded Data and Control Structures (GA14-11384S)

of the current approaches to formal verification of programs handling unbounded data structures, such as collections or dynamic linked data structures based on pointers concurrency. As for concurrent programs, the stress w...

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

  • 2014 - 2016
    • •
  • 5 775 tis. Kč
    • •
  • 5 775 tis. Kč
    • •
  • GA ČR
Project

Developement of methods for automatic verification of programs with dynamic data structures (GP201/09/P531)

pointer manipulations. Hence the automated methods for such programs are greatly project is development of methods for this class of programs.......

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

  • 2009 - 2011
    • •
  • 708 tis. Kč
    • •
  • 708 tis. Kč
    • •
  • GA ČR
Project

Low Dose Research towards Multidisciplinary Integration (7G13001)

identified by the High Level Expert Group (HLEG) on Low Dose Risk Research. DoReMi (Multidisciplinary European Low Dose Risk Research Initiative) consisting of major national bodies and research programs that have...

DL - Jaderné odpady, radioaktivní znečištění a kontrola

  • 2013 - 2015
    • •
  • 1 610 tis. Kč
    • •
  • 1 610 tis. Kč
    • •
  • MŠMT
Project

*Multi-stage stabilization of electro-optical system designated for remote observation (FR-TI1/265)

*Design and realization of the multi-stage stabilization of the electro-optical system of specific reconnaissance sensors (cameras, laser rangefinder and laser pointer). The device will offer smooth view to observer at maximum magnification ...

JA - Elektronika a optoelektronika, elektrotechnika

  • 2009 - 2011
    • •
  • 23 260 tis. Kč
    • •
  • 15 880 tis. Kč
    • •
  • MPO
Project

Markers of neurodegeneration in differential diagnosis of parkinsonian syndrome (NT12221)

with determination of levels of neurodegenerative markers, inflamattory markers, oncomarkers, histic destruction pointers and other. The levels of the markers we took will be from......

FH - Neurologie, neurochirurgie, neurovědy

  • 2011 - 2015
    • •
  • 5 282 tis. Kč
    • •
  • 5 282 tis. Kč
    • •
  • MZ
Project

Lightweight fibre-cement composite elements (FR-TI1/404)

This program project deals a development of thin-wall fibre-cement elements and components with modified mixture composition by means of suitable alternative low-weight raw materials and sufficient fibre reinforcement to achieve min...

JN - Stavebnictví

  • 2009 - 2013
    • •
  • 22 912 tis. Kč
    • •
  • 16 823 tis. Kč
    • •
  • MPO
  • 1 - 10 out of 9 604