CS 6115

Last Updated

  • Schedule of Classes - September 10, 2024 10:17AM EDT
  • Course Catalog - September 10, 2024 9:48AM EDT
Global toggle of class tabs

Links for textbooks and Cornell Store open in new tab.

CS 6115
Certified Software Systems

Course information provided by the Courses of Study 2024-2025. Courses of Study 2024-2025 is scheduled to publish mid-June.

In recent years, it has become practical to build large software systems using formal proof assistants. Examples of such certified systems include the seL4 microkernel, the CompCert C compiler, the Vellvm LLVM compiler, and the Bedrock library. This course provides a hands-on introduction to programming using the Coq proof assistant. Assessment is based on participation and a substantial course project.

When Offered Spring.

Prerequisites/Corequisites Prerequisite: CS 6110 or permission of instructor.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session.  Choose one lecture and one project.

  • 4 Credits Graded

  • 19643 CS 6115   LEC 001

  •  
    • TR
    • Aug 26 - Dec 9, 2024

    • Foster, N

  • For Bowers CIS Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/

  • 19644 CS 6115   PRJ 601

  •  
    • TBA
    • Aug 26 - Dec 9, 2024

    • Foster, N