CS 6156

Last Updated

  • Schedule of Classes - October 15, 2026 7:07PM EDT

CS 6156
Runtime Verification

Course information provided by the 2026-2027 Catalog.

Runtime Verification (RV) is a lightweight formal method for checking program executions against specifications. Foundations, algorithms, and tools for major approaches to RV will be covered, including monitor synthesis, specification languages, parametric monitoring, monitorability, instrumentation, and static analysis for reducing RV overhead. Students will become familiar with recent research results and challenges in RV, gain experience with RV tools, and conduct a research project.


Prerequisites for Computer Science majors: minimum grade of B+ in CS 3110.

Enrollment Information Enrollment limited to: Computer Science graduate and professional students.

Last 4 Terms Offered 2026SP, 2025SP, 2024SP, 2023SP

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 3 Credits GradeNoAud

  •  7155 CS 6156   LEC 001

  •  
    • MW
    • Jan 25 - May 11, 2027

    • Legunsen, O

  • Instruction Mode: In Person

    For Bowers Computer and Information Science (CIS) Course Enrollment Help, please see: https://tdx.cornell.edu/TDClient/193/Portal/Home/