Formal Methods in Software Engineering * Todayâs Agenda Quiz 2 next class Presentation Schedule Quick Review Build Models Using OCL Formal Methods in Software Engineering…
