IARCS Verification Seminar Series
Upcoming Talk
About
Past Talks
Coming Soon
Organizers
Contact
02 November 2021, Lucas Cordeiro,
Exploiting the SAT/SMT Revolution for Automated Software Verification