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.