Software Model Checking

— Reading Material —

Most reading material will be distributed as part of the "Serious paper reading" assignments. Here are some additional resources.

Introduction




On other software reliability methods




Miscellaneous