Detailed Course Information

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-

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

Return to Previous

New Search

Skip to top of page

Detailed Course Information		Spring 2013 Semester Apr 20, 2014