- Schedule of Classes - March 3, 2021 7:15PM EST
- Course Catalog - March 3, 2021 7:16PM EST
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.
Regular Academic Session.
Credits and Grading Basis
4 Credits GradeNoAud(Letter grades only (no audit))
Class Number & Section Details
- TROnline Meeting
- Sep 2 - Dec 16, 2020
Instruction Mode: Online
Enrollment is restricted to grad students only. Undergraduates will need to add themselves to the waitlist during add/drop.
Disabled for this roster.