USC Schedule of Classes

Fall 2016

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
    30019D048Lecture2:00-3:50pmMon, Wed11 of 25William HalfondVHE214PDF (106751 KB)feesession dates
    Information accurate as of March 5, 2017 4:44 pm.
    Want to provide feedback on the upcoming redesign of Schedule of Classes? Join our Beta Software Program!