Go to Main Content

SCT WWW Information System



Detailed Course Information


Spring 2014 Semester
Nov 27, 2015
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:     
      Coll of Computer & Info Sci

Graduate level CS 6520 Minimum Grade of C-

Return to Previous New Search
Transparent Image
Skip to top of page
Release: 8.5.4