Courses of Study 2016-2017 
    
    Mar 29, 2024  
Courses of Study 2016-2017 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 6115 - [Certified Software Systems]


     
Fall. Not offered 2016-2017. 4 credits. Letter grades only.

Prerequisite: CS 6110  or permission of the instructor.

Staff.

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.



Add to Favorites (opens a new window)