Courses of Study 2024-2025 
    
    Dec 10, 2024  
Courses of Study 2024-2025
Add to Favorites (opens a new window)

CS 6156 - Runtime Verification


     
Spring. 3 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)