Graduate Computer Science
CS G274: 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.
CS G110/CS G270 MS: SE
Credit hours: 4