Go to Main Content

Brown University

 

HELP | EXIT

Catalog Entries

 

Spring 2017
Oct 16, 2019
Transparent Image
  Select the Course Number to get further detail on the course. Select the desired Schedule Type to find available classes for the course.

CSCI 1950Y - 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 0510, or instructor's permission.
1.000 Credit hours
1.000 Lecture hours

Levels: Graduate, Undergraduate
Schedule Types: Primary Meeting

Computer Science Department


Return to Previous New Search XML Extract
Transparent Image
Skip to top of page
Release: 8.7.2.4