Detail projektu

AUTODEV - Automaty v rozhodovacích procedurách a verifikaci

Období řešení: 1. 1. 2019 - 31. 12. 2021

Typ projektu: grant

Kód: GA19-24397S

Agentura: Grantová agentura České republiky

Program: Standardní projekty

Název anglicky
Automata for Decision Procedures and Verification
Typ
grant
Klíčová slova

Konečné automaty na konečných i nekonečných objektech, heuristiky pro efektivní operace s automaty, rozhodovací procedury, formální analýza a verifikace, analýza programů s ukazateli, analýza programů s řetězci, analýza konečnosti běhu a vlastností typu živost.

Abstrakt

Cílem projektu je navrhnout efektivní heuristiky pro efektivní práci s různými typy automatů. Tyto techniky budou následně ověřeny v oblasti analýzy práce s pamětí, práce s řetězci a v oblasti ověřování konečnosti běhu, resp. vlastností typu živost.

Řešitelé
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT) , hlavní řešitel
Strejček Jan, prof. RNDr., Ph.D. (FI MUNI) , spoluřešitel
Andriushchenko Roman, Ing. (UITS FIT VUT)
Češka Milan, doc. RNDr., Ph.D. (UITS FIT VUT)
Havlena Vojtěch, Ing., Ph.D. (UITS FIT VUT)
Holíková Lenka, Ing. (UITS FIT VUT)
Hošták Viliam Samuel, Ing. (FIT VUT)
Hruška Martin, Ing. (UITS FIT VUT)
Chocholatý David, Bc. (FIT VUT)
Janků Petr, Ing. (UITS FIT VUT)
Křivka Zbyněk, Ing., Ph.D. (UIFS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Malásková Věra (UITS FIT VUT)
Matyáš Jiří, Ing. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Slezáková Alexandra, Bc. (FIT VUT)
Šedý Michal, Bc. (FIT VUT)
Šoková Veronika, Ing. (UITS FIT VUT)
Turcel Matej, Ing. (FIT VUT)
Vargovčík Pavol, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Publikace

2023

2021

2020

2019

Produkty

2019

2015

Nahoru