VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
Conference Editions
Sat 6 - Thu 11 April 2019 Prague, Czech Republic

VerifyThis 2019 with ETAPS 2019

The aims of the competition are: to bring together those interested in formal verification, and to provide an engaging, hands-on, and fun opportunity for discussion, to evaluate the usability of logic-based program verification tools in a controlled experiment that could be easily repeated by others. The competition will offer a number of challenges presented in natural language and pseudo code. Particip ...