Vše

Co hledáte?

Vše
Projekty
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”
MEB020840

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

Veřejná podpora

  • Poskytovatel

    Ministerstvo školství, mládeže a tělovýchovy

  • Program

    KONTAKT

  • Veřejná soutěž

  • Hlavní účastníci

  • Druh soutěže

    M2 - Mezinárodní spolupráce

  • Číslo smlouvy

    6094/2009-32

Alternativní jazyk

  • Název projektu anglicky

    Advanced Methods for Automatic Verification of Infinite-state Systems

  • Anotace anglicky

    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 reduced as much as possible.

Vědní obory

  • Kategorie VaV

    ZV - Základní výzkum

  • CEP - hlavní obor

    IN - Informatika

  • CEP - vedlejší obor

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

  • CEP - další vedlejší obor

  • OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

    10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20206 - Computer hardware and architecture

Hodnocení dokončeného projektu

  • Hodnocení poskytovatelem

    U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

  • Zhodnocení výsledků projektu

    V projektu byla vyvinuta řada technik zvyšujících efektivitu, obecnost a míru automatizace formální verifikace nekonečně stavových systémů, jako jsou programy s ukazateli či poli, pomocí logik a automatů (zejména pak nedeterministických a čítačových).

Termíny řešení

  • Zahájení řešení

    1. 1. 2008

  • Ukončení řešení

    31. 12. 2009

  • Poslední stav řešení

    U - Ukončený projekt

  • Poslední uvolnění podpory

    1. 4. 2009

Dodání dat do CEP

  • Důvěrnost údajů

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

  • Systémové označení dodávky dat

    CEP10-MSM-ME-U/01:1

  • Datum dodání záznamu

    30. 6. 2010

Finance

  • Celkové uznané náklady

    92 tis. Kč

  • Výše podpory ze státního rozpočtu

    92 tis. Kč

  • Ostatní veřejné zdroje financování

    0 tis. Kč

  • Neveřejné tuz. a zahr. zdroje finan.

    0 tis. Kč