Go to Main Content

SCT WWW Information System



Detailed Course Information


Fall 2016 Semester
Dec 02, 2020
Transparent Image
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; restricted to students in the College of Computer and Information Science.
4.000 Credit hours
4.000 Lecture hours

Levels: Graduate
Schedule Types: Lecture

Computer Science Department

Course Attributes:
GSCS Computer & Info Science

Must be enrolled in one of the following Levels:     
Must be enrolled in one of the following Colleges:     
      Khoury Coll of Comp Sciences

Graduate level CS 6520 Minimum Grade of C-

Return to Previous New Search
Transparent Image
Skip to top of page