CS 6156

Last Updated

  • Schedule of Classes - November 13, 2024 8:41AM EST
  • Course Catalog - November 12, 2024 10:26AM EST
Global toggle of class tabs

Links for textbooks and Cornell Store open in new tab.

CS 6156
Runtime Verification

Course information provided by the 2023-2024 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/Corequisites Prerequisite: graduate standing in CS or CS majors with CS 3110 grade of B+ or better.

When Offered Spring.

View Enrollment Information

Syllabi: none

  •   Regular Academic Session. 

  • 3 Credits GradeNoAud

  •  9535 CS 6156   LEC 001

  •  

  • Instruction Mode: In Person

    Restricted to graduate students only. All others must add themselves to the waitlist during add/drop.