CS 5114

Course information provided by the Courses of Study 2017-2018.

This course provides an introduction to novel programming languages for controlling computer networks. It will examine recent proposals based on logic, functional, and streaming languages, as well as tools for establishing the correctness of programs written in such languages using SAT/SMT solvers, model checkers, and proof assistants. Evaluation will be based on class participation and projects.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: CS 4110, CS 6110, CS 6410.

View Enrollment Information

Enrollment Information
Syllabi: none
  •   Combined with: CS 6114

  • 4 Credits Stdnt Opt

  • 16255CS 5114  LEC 001

  • Enrollment in this class is limited to CIS students only. All others should add themselves to the waitlist via Student Center during the Add/Drop Period.