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 January 19, 2024 5:02 pm.