CSCI1710
Logic for Systems
Spring 2025
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, CSCI 0190, or CSCI 0200. Preferred but not required: CSCI 0220
| Instructor(s): | |
| Home Page: | http://cs.brown.edu/courses/csci1710/ |
| Meets: | W 10am-10:50am in 85 Waterman Street 015 (1/22 to 1/23)
MWF 10am-10:50am in Friedman Hall 108 (1/24 to 5/16) |
| Exam: | If an exam is scheduled for the final exam period, it will be held: |
| CRN: | 26411 |
