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.