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”

Abstrakce a jiné techniky v semi-symbolické verifikaci programů

Veřejná podpora

  • Poskytovatel

    Grantová agentura České republiky

  • Program

    Standardní projekty

  • Veřejná soutěž

    Standardní projekty 22 (SGA0201800001)

  • Hlavní účastníci

    Masarykova univerzita / Fakulta informatiky

  • Druh soutěže

    VS - Veřejná soutěž

  • Číslo smlouvy

    18-02177S

Alternativní jazyk

  • Název projektu anglicky

    Abstraction and Other Techniques in Semi-Symbolic Program Verification

  • Anotace anglicky

    This project aims at research and development of new algorithms and data structures to enable efficient analysis and verification of computer programs written in the C/C++ programming languages. One of the particular goals of the project is to employ abstractions that are realised as speculative assume statements in the source-code of the program. Programs annotated with such speculative asssumptions are easier to verify. However, invalid speculation may lead to an incorrect verification result. The goal of the project is to build a theory of speculative assumptions, the validity of which can be easily determined during the verification process itself, and to materialise this theory in a verification tool/framework. This framework will additionaly employ other program analysis and verification techniques (slicing, SMT solving, etc.) to make the entire process of program analysis and program verification more efficient.

Vědní obory

  • Kategorie VaV

    ZV - Základní výzkum

  • OECD FORD - hlavní obor

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

  • OECD FORD - vedlejší obor

  • OECD FORD - další vedlejší obor

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

    AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Termíny řešení

  • Zahájení řešení

    1. 1. 2018

  • Ukončení řešení

    31. 12. 2020

  • Poslední stav řešení

  • Poslední uvolnění podpory

    24. 4. 2020

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

    CEP21-GA0-GA-R/11:1

  • Datum dodání záznamu

    22. 2. 2021

Finance

  • Celkové uznané náklady

    6 232 tis. Kč

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

    4 562 tis. Kč

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

    1 740 tis. Kč

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

    0 tis. Kč