COP5021
Program Analysis
Spring 2006
|
|
| Home
| Course Information
| Course Objectives
| Resources
| Course Notes and Assignments
| Exams |
Main references:
- E. Clarke, D. Long, O. Grumberg:
Model Checking,
The MIT Press, 2000
- J. Loeckx, K. Sieber:
The Foundations of Program Verification,
John Wiley & Sons, 2nd ed., 1987
- F. Nielson, H.R. Nielson, G. Hankin:
Principles of Program Analysis,
Springer-Verlag, 1999
Other important references:
- K.R. Apt and E-R. Olderog:
Verification of Sequential and Concurrent Programs,
2nd ed., Springer-Verlag, 1997
- J.C. Mitchell:
Foundations of Programming Languages,
The MIT Press, 1996
- D.A. Peled:
Software Reliability Methods,
Springer-Verlag, 2001
Lecture slides
and notes will be posted
as PDF files.
Supplementary references, such as research papers,
will be posted when needed.