CS 6156
Last Updated
- Schedule of Classes - June 7, 2023 8:54PM EDT
- Course Catalog - June 7, 2023 7:14PM EDT
Classes
CS 6156
Course Description
Course information provided by the Courses of Study 2022-2023.
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 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
3 Credits GradeNoAud(Letter grades only (no audit))
-
Class Number & Section Details
-
Meeting Pattern
- TR Olin Hall 145
- Jan 23 - May 9, 2023
Instructors
Legunsen, O
-
Additional Information
Instruction Mode: In Person
Restricted to graduate students only. All others must add themselves to the waitlist during add/drop.
Share
Disabled for this roster.