Detail projektu
Automaty v rozhodovacích procedurách a verifikaci
Období řešení: 1. 1. 2019 – 31. 12. 2021
Typ projektu: grant
Kód: GA19-24397S, GA19-24397S
Agentura: Grantová agentura České republiky
Program: Standardní projekty
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.
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.
Andriushchenko Roman, Ing. (UITS)
Češka Milan, doc. RNDr., Ph.D. (UITS)
Havlena Vojtěch, Ing., Ph.D. (UITS)
Holíková Lenka, Ing., Ph.D. (VZ VERIFIT)
Hošták Viliam Samuel, Ing.
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)
Chocholatý David, Ing. (UITS)
Janků Petr, Ing., Ph.D. (VZ VERIFIT)
Křivka Zbyněk, Ing., Ph.D. (UIFS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Malásková Věra (UITS)
Matyáš Jiří, Ing., Ph.D. (VZ VERIFIT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Slezáková Alexandra, Bc.
Strejček Jan, prof. RNDr., Ph.D. (FIT)
Šedý Michal, Ing. (UITS)
Šoková Veronika, Ing. (VZ VERIFIT)
Turcel Matej, Ing.
Vargovčík Pavol, Ing. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
2023
- HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions (technical report). Ithaca: Cornell University Library, 2023. Detail
- HAVLENA, V.; LENGÁL, O.; CHEN, Y.; TURRINI, A. A symbolic algorithm for the case-split rule in solving word constraints with extensions. JOURNAL OF SYSTEMS AND SOFTWARE, 2023, vol. 201, no. 201,
p. 111673-111693. ISSN: 0164-1212. Detail - HOLÍKOVÁ, L.; HORKÝ, M.; SÍČ, J. Automata with Bounded Repetition in RE2. In Computer Aided Systems Theory - EUROCAST 2022. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2023.
p. 232-239. ISSN: 0302-9743. Detail
2019
- HOLÍK, L.; HOLÍKOVÁ, L.; LENGÁL, O.; VOJNAR, T.; SAARIKIVI, O.; VEANES, M. Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report). Ithaca: Cornell University Library, 2019.
p. 1-19. Detail
2015
- Norn: SMT řešič řetězcových omezení, software, 2015
Autoři: HOLÍK, L.; ABDULLA, P.; ATIG, M.; CHEN, Y.; REZINE, A.; STENMAN, J.