|
Oct 13, 2024
|
|
|
|
CEN 5016 Formal Methods Of Software Engineering Prerequisite: COT 3100 Or EquIValent. Exposes Students To The Use Of Specification That Have Well Defined Semantics. Covers Classes Of Specification Models, Including Algebraic, State Machines And Model-theoretic Approaches. Reviews Verification Methods Such As Weakest Pre-condition And Functional Correctness.
Add to Portfolio (opens a new window)
|
|