CS 6115
Last Updated
- Schedule of Classes - December 1, 2024 7:42PM EST
- Course Catalog - December 1, 2024 7:07PM EST
Classes
CS 6115
Course Description
Course information provided by the Courses of Study 2024-2025.
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.
Regular Academic Session. Choose one lecture and one project.
-
Credits and Grading Basis
4 Credits Graded(Letter grades only)
-
Class Number & Section Details
-
Meeting Pattern
- TR Phillips Hall 407
- Aug 26 - Dec 9, 2024
Instructors
Foster, N
-
Additional Information
Instruction Mode: In Person
For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/
Share
Or send this URL: