A Program Synthesis Primer – Slides & Code
By Aws Albarghouthi.
In this repository https://github.com/barghouthi/vmw19, you can find the slides and code of the talk given during the Verification Mentoring Workshop, CAV2019, about program synthesis!
Category: Introductory Study Material
Basics of Model Checking
Slides for model checking introductory course, by Prof. Orna Grumberg, can be found here.
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.