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
    30161D048Lecture2:00-3:50pmMon, Wed9 of 12William HalfondCPA103PDF (200480 KB)session dates
    Information accurate as of September 13, 2022 5:00 pm.
    Did you find what you needed today? Let us know by taking a short survey.