Lukáš Holík a Petr Janků získali cenu za nejlepší článek

Č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.