Aktualita
Kategorie: novinka
Dne: 26. listopadu 2019
Lukáš Holík a Petr Janků získali cenu za nejlepší článek
![[img]](https://www.fit.vut.cz/fit/news-file/2609/atva2019.jpg)
Článek s názvem Chain-Free String Constraints, jehož autory jsou Lukáš Holík a Petr Janků z výzkumné skupiny VeriFIT, získal na prestižní konferenci ATVA'2019 v Tchaj-pej ocenění Best Paper Award. Práce přichází s algoritmem pro řešení systémů omezení nad řetězci, který se dá použít například k verifikaci programů manipulujících řetězce, jako jsou webové aplikace, nebo k verifikaci absence některých druhů bezpečnostních děr, jako je Cross Site Scripting.
Na článek se můžete podívat ZDE.