Todayâs Agenda Project Schedule Quick Review OCL Expressions Formal Methods in Software Engineering * Formal Methods in Software Engineering * Quick Review What types of…