Formal Methods for High-Assurance System Design and Analysis

CAS CS 512

Introduction to formal specification, analysis, and verification of computer system behavior. Topics include formal logical reasoning about computer programs and systems, automated and semi-automated verification, and algorithmic methodologies for ascertaining that a computing system satisfies its formally specified properties.

SPRG 2018 Schedule

Section Instructor Location Schedule Notes
A1 Kfoury TR 12:30 pm-1:45 pm

Note that this information may change at any time. Please visit the Student Link for the most up-to-date course information.