CS 6156

CS 6156

Course information provided by the Courses of Study 2020-2021.

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.

When Offered Fall or Spring.

Prerequisites/Corequisites Prerequisite: graduate standing in CS or CS majors with CS 3110 grade of B+ or better.

View Enrollment Information

Enrollment Information
Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits GradeNoAud

  • 18401CS 6156  LEC 001

    • TROnline Meeting
    • Sep 2 - Dec 16, 2020
    • Legunsen, O

  • Instruction Mode: Online
    Enrollment is restricted to grad students only. Undergraduates will need to add themselves to the waitlist during add/drop.