Courses of Study 2022-2023 
    
    Aug 18, 2022  
Courses of Study 2022-2023
Add to Favorites (opens a new window)

CS 6156 - Runtime Verification


     
Spring. 4 credits. Letter grades only (no audit).

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

O. Legunsen.

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.



Add to Favorites (opens a new window)