CS 6115

Last Updated

  • Schedule of Classes - April 4, 2023 12:09PM EDT
  • Course Catalog - April 3, 2023 12:59PM EDT

CS 6115
Certified Software Systems

Course information provided by the Courses of Study 2022-2023.

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. 

  • 4 Credits Graded

  • 18098 CS 6115   LEC 001

  •  
    • TR Upson Hall 146
    • Jan 23 - May 9, 2023

    • Foster, N

  • Instruction Mode: In Person
    Enrollment is restricted to CS PhD and CS MS students. All others must add themselves to the waitlist during add/drop in January.