Advanced course: Program analysis and verification
Admin
- Lecturer: Noam Rinetzky
- Time: Thursday, 9:00–12:00, Semester B, 2014/15
- Location: Schreiber 006
- Reception Hour: Set by Email
- Course Number: 0368-4479
Assignments and grades
- 2-3 theoretical assignments (35% of the course grade)
- 1 practical assignment (15% of the course grade)
- A final project (50% of the course grade)
- No final exam
Announcements
- There is a SHEUR HASHLAMA on Tuesday, 31/March/2015
- There is no lesson on Thursday, 23/April/2015 because of YOM HAATZMAUT
Lectures
| Date | Topic | Slides | |
|---|---|---|---|
| 12-March-2015 | Overview | PPTX 1 | PDF 1 |
| 19-March-2015 | Operational Semantics | PPTX 2 | PDF 2 |
| 26-March-2015 | Axiomatic Semantics | PPTX 3 | PDF 3 |
| 31-March-2015 | Axiomatic Semantics (Concurrency) | PPTX 4 | PDF 4 |
| 16-April-2015 | Abstract Interpretation | PPTX 5 | PDF 5 |
| 23-April-2015 | NO LESSON (YOM HAATZMAUT) | ||
| 30-April-2015 | Abstract Interpretation | PPTX 6 | PDF 6 |
| 7-May-2015 | Guest Lecture | ||
| 14-May-2015 | Abstract Interpretation | PPTX 8 | PDF 8 |
| 21-May-2015 | Abstract Interpretation (Numerical Analysis) | PPTX 9 | PDF 9 |
| 28-May-2015 | Abstract Interpretation (Pointer Analysis) | PPTX 10 | PDF 10 |
| 4-June-2015 | Abstract Interpretation (Shape Analysis) | PPTX 11 | PDF 11 |
| 11-June-2015 | Interprocedural Analysis | PPTX 12 | PDF 12 |
| 18-June-2015 | Interprocedural Shape Analysis | PPTX 13 | PDF 13 |
Home Assignments
Resources
- An online version of the Semantics with Applications book by Nielson and Nielson
- A book about static analysis Principles of Program Analysis (hard copy vailable in the library).
- A LaTeX package for typesetting inference rules.