Summer School 2016: Verification Technology, Systems & Applications

Course Material

Slides and Suggested Reading

1. Sep 01, 2016: Verification condition generation (slides, program template)
   
2. Sep 02, 2016: Separation Logic (slides , Grasshopper tool)
   
3. Steve Crocker's Guest lecture (slides)