Software Synthesis and Automated Reasoning
Slides about Software Synthesis and Automated Reasoning by
Shachar Itzhaky are available here.
Category: Advanced Study Material
Reactive Synthesis
Here you can find the slides from the advanced lecture on Reactive Synthesis by Swen Jacobs and Martin Zimmermann.
Advanced Course on Software Verification
You can find slides by Prof. Orna Grumberg for automatic verification of software, using this link.
Share with the CAV community
Would you like to share any study material or do you have any announcements regarding job openings, conferences, scholarships, …? We are happy to publish your ideas and information here on CAVlinks! Please contact us using this form.