CS 6156

Last Updated

  • Schedule of Classes - July 2, 2025 11:52AM EDT
  • Course Catalog - March 17, 2025 8:31AM EDT

CS 6156
Runtime Verification

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

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/Corequisites Prerequisite: graduate standing in CS or CS majors with CS 3110 grade of B+ or better.

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

When Offered Spring.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 3 Credits GradeNoAud

  •  7456 CS 6156   LEC 001

  •  
    • MW
    • Jan 21 - May 6, 2025

    • 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/
    Enrollment limited to: graduate students.