IC3 competition @ final lecture tomorrow
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