USC Schedule of Classes

Spring 2022

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, Wed
    Mukund RaghothamanPDF (333369 KB)session dates
    Information accurate as of October 6, 2022 11:00 am.
    Want to provide feedback on the upcoming redesign of Schedule of Classes? Join our Beta Software Program!