Dec 21, 2024  
2015-2016 General Catalog 
    
2015-2016 General Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

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)