Formal Methods 1

CAS CS 511

Undergraduate Prerequisites: (CASCS320 OR CASCS330 OR CASCS350) - 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 software system satisfies its formally specified properties. Cannot be taken for credit in addition to the course with the same number formerly entitled "Object-Oriented Software Principles."

FALL 2024 Schedule

Section Instructor Location Schedule Notes
A1 Kfoury MCS B33 TR 9:30 am-10:45 am

FALL 2024 Schedule

Section Instructor Location Schedule Notes
B1 Kfoury CAS B36 W 2:30 pm-3:20 pm

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