![]() | Select the desired Level or Schedule Type to find available classes for the course. |
CS 6540 - Foundations of Formal Methods and Software Analysis |
Covers necessary mathematical background such as first-order logic, and some measure theory. Studies the formal methods in more depth and breadth. Discusses the current state of the art in verification and semantics of probabilistic, real-time, and hybrid systems. Prereq. CS 6520.
4.000 Credit hours 4.000 Lecture hours Levels: Graduate Schedule Types: Lecture Computer Science Department Course Attributes: GSCS Computer & Info Science Restrictions: Must be enrolled in one of the following Levels: Graduate Prerequisites: Graduate level CS 6520 Minimum Grade of C- |
Return to Previous | New Search |
![]() |