Links and Literature
Specific reading assignments will be given during the lectures. The following is a list of material the course is based on. You may find it useful, but it is not required.
Books
- Logic in Computer Science: Modelling and Reasoning about Systems
- The Calculus of Computation: Decision Procedures with Applications to Verification
- Model-Based Software Testing and Analysis with C#
- Practical Model-Based Testing: A Tools Approach
- Principles of Model Checking
- The SPIN Model Checker: Primer and Reference Manual
- Principles of Program Analysis
Similar Courses
- Chalmers: Software Engineering using Formal Methods
- Chalmers: Model-Based Testing
- Queen's: Formal Methods in Software Engineering
- JKU: Formal Methods in Software Development
- UW: Formal Verification of Computer Systems
- UC Berkeley: Computer-Aided Verification
- UPenn: Computer Aided Verification
- Oxford: Computer-Aided Formal Verification
- CMU: Automated Program Verification
- UCSB: Automated Verification
- EPFL: Synthesis, Analysis, and Verification
- W&M: Automated Logical Reasoning
- DAIMI: Automated Reasoning
- WWU: Model Checking
- TUM: Model Checking
- Caltech: Logic Model Checking
- RWTH: Introduction to Model Checking
- RWTH: Static Program Analysis
- UCLA: Static Program Analysis
- DTU/MSR: Advanced Analysis Techniques
- TAU: Program Analysis
- CMU: Program Analysis
- MIT: Abstract Interpretation