Computer Science 625:

Program Synthesis and Computer-Aided Verification (4.0 units)

Introduction to the principles and practices of software verification and program synthesis.
    SectionSessionTypeTimeDaysRegisteredInstructorLocationSyllabusInfo
    30093D048Lecture3:30-5:20pmMon, Wed7 of 30Mukund RaghothamanTHH213PDF (299334 KB)session dates
    Information accurate as of June 3, 2023 4:49 pm.
    Did you find what you needed today? Let us know by taking a short survey.