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 2015 Schedule

Section Instructor Location Schedule Notes
A1 Kfoury MCS B21 TR 12:30 pm-2:00 pm

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