|
|||||||
| Lecture Notes (Revision 1.63, Weeks 1—6) |  |
| Lecture from 18.12.06 (Introduction to Interrupts) | |
| Sample Solution for Exercise 3 of Sheet 7 (Scheduling Invariants) | |
| Cache Timing Diagrams for Exercise Sheet 12 | |
| On the Verification of Memory Management Mechanisms | |
| On the verification of a baby hypervisor for a RISC machine | |
