Announcements

Welcome to the Program Verification Course!

Course support

  • Week 3:

Lab session support

Project

  • The project is 40% of the final mark.
  • Choose a tool from this list for your project.

Reading materials

  • Logic in Computer Science: Modeling and Reasoning about Systems, 2nd edition, Michael Huth, Mark Ryan, Cambridge University Press, 2004.
  • Model Checking,Edmund M. Clarke, O. Grumberg, Doron A. Peled, MIT Press, 2000.
  • Systems and Software Verification: Model-Checking Techniques and Tools, B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen, Springer, 2001.
  • Practical Foundations for Programming Languages, 2nd edition, Robert Harper, Cambridge University Press, 2016.
  • Verification of Sequential and Concurrent Programs, 3rd edition, Krzysztof R.Apt, Frank S. de Boer, Ernst-Rüdiger Olderog, Springer, 2009.

Lecturer