Course Number:

CS G274

Credit Hours:	4
Course Title:	Foundations of Formal Methods and Software Analysis
Course Description:	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.

Fall Offering:			Lab/Coreq 1:
Spring Offering:			Lab/Coreq 2:
Summer Offering:			Lab/Coreq Remarks:
Summer 1 Offering:			Prerequisite 1:	CS G110 and
Summer 2 Offering:			Prerequisite 2:	CS G270
Cross-Listed Course 1:			Prerequisite 3:
Cross-Listed Course 2:			Prerequisite 4:
Cross-Listed Course 3:			Prerequisite 5:
Cross-Listed Course 4:			Prereq Remarks:
Cross-Listed Course 5:			Repeatable:	N
Additional Information: