UI Wordmark

CS 498 MP4 - Special Topics - Logic

Campus: Urbana-Champaign


Subject offerings of new and developing areas of knowledge in computer science intended to augment the existing curriculum. See Class Schedule or departmental course information for topics and prerequisites. Course Information: 1 to 4 undergraduate hours. 1 to 4 graduate hours. May be repeated in the same or separate terms if topics vary.

Special Instructions:

Topic: Software Model-Checking. This course will cover various automatic techniques to analyze and verify software (manual techniques will not be covered). Three verification paradigms will be studied, including dataflow analysis, explicit software verification, and techniques where the system is abstracted into a tractable model which is then algorithmically/symbolically verified. This section is for graduate students only.

Option 1

Number of Required Visit(s): 0

Course Level: Graduate

Credit: 4

Term(s): Spring


Bachelor's Degree

Master's Degree

Doctoral Degree


Continuing Education

Search Programs

Search Courses


Contact Us

University of Illinois Online
Phone: (866) 633-8465 - Join Us  Facebook
© Copyright 2015 - University of Illinois

Cookie Settings