Computer Science 610:
Advanced Program Analysis and Verification (4.0 units)
Advanced techniques for analyzing and verifying software systems; topics include program analysis, automated verification, and software testing.
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 30019D | 048 | Lecture | 2:00-3:50pm | Mon, Wed | 11 of 25 | William Halfond | VHE214 | PDF (106751 KB) |   |