CSCI 1710
Logic for Systems
Brown University · UGRD · Fall 2026
1 section
Catalog description
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 0190 or CSCI 0200 . Preferred but not required: CSCI 0220
Sections
Current meeting, instructor, credit, and enrollment details
001
Availability not recently verifiedClass #brown-CSCI1710Fall 2026UGRD
- Days & times
- No scheduled meeting time
- Meeting dates
- —
- Location
- —
- Instructor
- Staff
Class numbers and section codes come from the registrar.
Spot missing or incorrect course data?