USC Schedule of Classes

Fall 2023

classes begin
registration begins

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.
    SectionSessionTypeTimeDaysRegisteredInstructorLocationSyllabusInfo
    30345D048Lecture3:30-5:20pmMon, Wed12 of 25William HalfondWPHB26PDF (97288 KB)session dates
    Information accurate as of March 3, 2024 5:22 pm.
    Want to provide feedback on the upcoming redesign of Schedule of Classes? Join our Beta Software Program!