Books and References
This course does not have a required text book. We will be covering different topics, all of which, cannot be found in one book to recommend as a unique text book. Here is a list of three books that will help you understand the course material, which are available for free:
- Verification of Sequential and Concurrent Programs (electronic version accessible through our library system)
- Principles of Program Analysis
- Principles of Model Checking (pdf available for free)
- Calculus of Computation (electronic version accessible through our library system)
- Decision Procedures (electronic version accessible through our library system)