USC Schedule of Classes

Spring 2023

classes begin
registration begins

Computer Science 625:

Program Synthesis and Computer-Aided Verification (4.0 units)

Introduction to the principles and practices of software verification and program synthesis.
    30093D048Lecture3:30-5:20pmMon, Wed7 of 30Mukund RaghothamanTHH213PDF (299334 KB)session dates
    Information accurate as of October 2, 2023 7:43 am.
    Want to provide feedback on the upcoming redesign of Schedule of Classes? Join our Beta Software Program!