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
|A1||Kfoury||MCS B25||TR 11:00 am-12:15 pm|