Novinka

Dne: 27. září 2019

Best Paper award z konference CADE 2019 pro skupinu VeriFIT

[img]

Vojtěch Havlena, Lukáš Holík, Ondřej Lengál a Tomáš Vojnar ze skupiny VeriFIT získali ocenění za nejlepší článek na prestižní konferenci CADE 2019 věnující se tématu automatizovaného dokazování ve formálních systémech. Článek s názvem "Automata Terms in a Lazy WSkS Decision Procedure" se zabývá rozhodováním formulí logiky WSkS pomocí symbolických technik pro práci s konečnými (stromovými) automaty. Logika WSkS se používá např. pro popis nekonečných množin grafů při formálním usuzování a hledání chyb v programech s dynamickými datovými strukturami. Vojtěch Havlena navíc získal od programového výboru ocenění Woody Bledsoe Award pro studenty za mimořádný přínos oblasti automatizovaného usuzování.

Sdílet článek

Nahoru