CS 498 MP4 - Special Topics - Logic
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.
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 1Number of Required Visit(s): 0
Course Level: Graduate