This site provides technical instructions and exercises that compliment the book Concise Guide to Software Verification - From Model Checking to Annotation Checking, by Marieke Huisman and Anton Wijs.

Exercises

A list of book chapters, to find suitable exercises per chapter, can be accessed via the button below.

exercises

Tools installation

How to obtain and set up the verification tools recommended for the exercises on this website, click the button below.

installation manual

About the authors

Who are the authors of the book "Concise Guide to Software Verification"?

about