Detailed Course Information |
Spring 2013 Semester
May 23, 2017 |
|
 |
||
 | 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 |
|