Select the desired Level or Schedule Type to find available classes for the course. |
CSCI 1710 - Logic for Systems |
The course will focus on proving properties about systems and programs. We will study the distinction between programs and specifications, and check for whether the former obey the latter. We will work with tools that have extensive automation such as model constructors, model checkers, and proof assistants. Problems and projects will apply to real-world systems. Prerequisite: CSCI 0160, CSCI 0180, or CSCI 0190. Preferred but not required: CSCI 0220 and CSCI 1010, or instructor's permission.
0.000 OR 1.000 Credit hours 0.000 OR 1.000 Lecture hours 0.000 Lab hours Levels: Graduate, Undergraduate Schedule Types: Discussion Section/Conference, Primary Meeting All Sections for this Course Computer Science Department Prerequisites: Undergraduate level CSCI 0160 Minimum Grade of S or Undergraduate level CSCI 0180 Minimum Grade of S or Undergraduate level CSCI 0190 Minimum Grade of S |
Return to Previous | New Search |