Software Security Course
In his course, Lucas Cordeiro introduces basic and advanced approaches to building formally verified and trustworthy software systems. Further information and the course material is available at the course webpage.
Category: Study Material
Marktoberdorf Summer Schools
Unfortunately, this year’s international summer school in Marktoberdorf had to be cancelled… But you still can find many interesting resources like slides and tutorials from the previous years on the summer school’s website! Read More …
Software Synthesis and Automated Reasoning
Slides about Software Synthesis and Automated Reasoning by
Shachar Itzhaky are available here.
Tradeoffs between Academia and Industry
Manu Sridharan, from the University of of California, Riverside, talked about the use of program analysis in academia and industry at the Verification Mentoring Workshop 2019:
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!
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.
Basics of Model Checking
Slides for model checking introductory course, by Prof. Orna Grumberg, can be found here.
Automata, Games and Verification
You can download the lecture notes of the course Automata, Games and Verification by Prof. Bernd Finkbeiner on the course website.
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.