Vše
Vše

Co hledáte?

Vše
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”
CS
ČeštinaEnglish

Filtry

-
19002100

Spojovat pomocíNeboA

Spojovat pomocíNeboA

VybratVše/Nic

      • Zobrazit méně

      • Zobrazit méně

      • Zobrazit méně

      • Zobrazit méně

    • Zobrazit více

VybratVše/Nic

Spojovat pomocíNeboA

-

Více filtrů

Projekty

208 projektů (0,107s) •

Projekt

Pokročilé techniky automatické verifikace nekonečně stavových systémů (MEB020840)

Cílem projektu je přispět k výzkumu metod model checkingu nekonečně stavových systémů tak, aby byly v co největší míře odstraněny jejich současná omezení jak v oblasti efektivity, tak v oblasti obecnosti.......

IN - Informatika

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

Automatizace formální verifikace (TH04010192)

Cílem projektu AUtomatizace FOrmální VERifikace (AUFOVER) je vývoj automatizovaných formálních verifikačních nástrojů a jejich integrace pro průmyslové využití. V rámci projektu budou vyvinuty nebo vylepšeny nástroje: Verifikační server, Klientská ap...

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
Projekt

Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů (GA102/07/0322)

Vysokoúrovňový návrh a formální verifikace jsou jednou z perspektivních cest, jak dosáhnout vyšší spolehlivosti a bezpečnosti počítačových systémů. Předkládaný projekt navazuje na zkušenosti a výsledky řešitelského týmu a na existující spolupráci se ...

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

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

Efektivní analýza a optimalizace pravděpodobnostních systémů a her (GA21-24711S)

Projekt je orientován na otevřené problémy hraničního výzkumu v oblasti pravděpodobnostních systémů a her. Zvláštní pozornost je věnována algoritmické analýze a verifikaci pravděpodobnostních systémů s neomezenými zdroji, jako jsou např. automaty s č...

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

  • 2021 - 2023
    • •
  • 8 519 tis. Kč
    • •
  • 5 933 tis. Kč
    • •
  • GA ČR
Projekt

Efektivní konečné automaty pro automatické usuzování (LL1908)

Cílem je výrazně posunout stav poznání efektivních technik pro práci s konečnými automaty a souvisejícími formálními modely v aplikacích z oblasti automatického usuzování, jako jsou například analýza software a hardware nebo vyhledávání vzorů. Budou ...

Automation and control systems

  • 2020 - 2024
    • •
  • 35 585 tis. Kč
    • •
  • 35 585 tis. Kč
    • •
  • MŠMT
Projekt

Formální metody prakticky použitelné pro vývoj systémů složených ze softwarových komponent (GA201/06/0770)

Myšlenka softwarových komponent již byla obecně přijata jako klíčová pro řešení rostoucí složitosti vytvářených softwarových systémů. Po letech výzkumu především na akademické půdě, softwarové komponenty jsou již přijímány IT průmyslem v nyní podporo...

IN - Informatika

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

Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)

Automatizovaná verifikace programů je v současnosti s ohledem na rostoucí dopad počítačem řízených systémů na naše životy a výraznou potřebu minimalizovat počet chyb v těchto systémech velmi aktuálním výzkumným tématem. Projekt se konkrétně zaměřuje ...

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

  • 2010 - 2013
    • •
  • 4 752 tis. Kč
    • •
  • 4 752 tis. Kč
    • •
  • GA ČR
Projekt

Využití metodiky Model checking pro testování systémů I&C v jaderné energetice (TK01020068)

Hlavním záměrem projektu je zvýšení kvality a bezpečnosti provozu současných i nově budovaných výrobních bloků jaderných elektráren. Projekt je rozdělen do dvou dílčích cílů, jejich aplikací vznikne nástroj, zařízení, pro efektivní ověřování nově vyr...

Nuclear related engineering; (nuclear physics to be 1.3);

  • 2018 - 2021
    • •
  • 31 409 tis. Kč
    • •
  • 18 274 tis. Kč
    • •
  • TA ČR
Projekt

Automaty a logiky v symbolické verifikaci software. (MEB021023)

Vědeckým cílem projektu je významně přispět ke zlepšení obecnosti a škálovatelnosti současných symbolických metod verifikace nekonečně stavových programů založených na využití logik a/nebo automatů. Za tím účelem budou jednak zkoumány možnosti zlepše...

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

  • 2010 - 2011
    • •
  • 121 tis. Kč
    • •
  • 121 tis. Kč
    • •
  • MŠMT
Projekt

Reprezentace Booleovských funkcí pomocí adaptabilní datové struktury (GA23-07565S)

Lidstvo čím dál více závisí na počítačových systémech, což klade vysoké nároky na jejich bezchybnost a efektivitu. Tyto systémy jsou stále složitější: jejich stavové prostory rostou exponenciálně a současné techniky pro zajištění bezchybnosti neškálu...

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

  • 2023 - 2025
    • •
  • 9 016 tis. Kč
    • •
  • 7 995 tis. Kč
    • •
  • GA ČR
  • 1 - 10 z 208