Verification Bernd Finkbeiner


IC3 competition @ final lecture tomorrow

Written: 15.02.2017 14:42 Written By: Bernd Finkbeiner

Dear students,

we've almost reached the end of the verification course -- thank you all for participating so actively, it has been great to work with all of you!

In our final lecture on Thursday, we will host a competition between the IC3-based model checkers that have been submitted as an optional project. We've prepared a small surprise for the winning group. So if you think it could be you, please attend!

All the best,
Bernd Finkbeiner, Christopher Hahn, Norine Coenen, Paul Gölz, Maximilian Schwenger, and Leander Tentrup

If you encounter technical problems, please contact the administrators