Computer Science 625:
Program Synthesis and Computer-Aided Verification (4.0 units)
Introduction to the principles and practices of software verification and program synthesis.
| Section | Session | Type | Time | Days | Registered | Instructor | Location | Syllabus | Info |
|---|---|---|---|---|---|---|---|---|---|
| 30093R | 048 | Lecture | 3:30-5:20pm | Mon, Wed | 10 of 26 | Mukund Raghothaman | DMC209 | PDF (309147 KB) |  |