USC Schedule of Classes

Fall 2018

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:25pmMon, Wed11 of 20William HalfondWPHB28feesession dates
    Information accurate as of March 11, 2019 8:08 am.
    Want to provide feedback on the upcoming redesign of Schedule of Classes? Join our Beta Software Program!