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.
Prerequisites:
CS G110/CS G270 MS: SE
Credit hours: 4
Course offerings: