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.
