C S
686
Advanced Model Checking
Hours
3.0 Credit, 3 Lecture, 0 Lab
Semester
Winter
Techniques for managing state explosion and specialized algorithms for verifying classes of infinite state systems.