Lecture on IC3-based Model Checking from Aaron Bradley

Venue: TU Wien

In June Aaron Bradley comes to Vienna to give an intensive course on IC3-based Model Checking!

Posted in Events, News