Suche

Participation at VerifyThis Competition@ETAPS


We've participated at the VerifyThis Competition@ETAPS2015 using the KIV Theorem prover.
There were three challenges, each with a fixed time slot (60min resp 90min). Gidon Ernst & Jörg Pfähler have been recognized with the award for the best student team.

Links:

Meldung vom 12.04.2015