Modal mu-Calculus
Course subject(s)
7. Modal mu-Calculus
In this lecture the Modal µ-Calculus is treated. The subjects are ; Temporal logic, Hennesy-Milner logic, Semantics of HML, Recursion and Semantics of Recursion.
Modal mu-Calculus
System Validation by TU Delft OpenCourseWare is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at https://ocw.tudelft.nl/courses/system-validation/.