CS 6480

Last Updated

  • Schedule of Classes - June 25, 2020 7:14PM EDT
  • Course Catalog - June 25, 2020 7:15PM EDT

CS 6480
Systems Software and Formal Methods

Course information provided by the 2019-2020 Catalog.

This is a graduate course on systems software and formal methods. The increasing complexity and scale of software systems has led to significant challenges for their reliability, performance, manageability, and security. Examples of such systems include entire operating systems, file systems, databases, networks, distributed systems, device drivers, and so on. The goal of this course is to become familiar with techniques and tools for specifying systems and proving correct systems implementations. After a few introductory lectures, students will be presenting recent research papers on provably correct systems. Students are also expected to design and execute a significant project and writing a draft paper on their project.


Prerequisites/Corequisites Prerequisite: CS 4410.

When Offered Spring.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 3 Credits Stdnt Opt

  • 18428 CS 6480   LEC 001

  •  

  • Instruction Mode: Hybrid - Online & In Person

    Restricted to PhD and MS students only. All others should add themselves to the waitlist in January. Please see http://www.cs.cornell.edu/courseinfo/enrollment for more information.