|
|
Dec 10, 2024
|
|
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)
|
|
|