2018-2019 Catalog 
    
    Dec 26, 2024  
2018-2019 Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CS 5330 - Formal Methods of Software Systems Engineering

3 Credits (Minimum) 3 Credits (Maximum)

Elements of discrete mathematics. Formal mechanisms for specifying and verifying the correctness, reliability, and efficiency of software systems. State transition, regular expression, context free, and applicative models. Assertions, Hoare axioms, and weakest preconditions. State machine, algebraic, and operational specification techniques. Prer., Graduate students only.



Add to Portfolio (opens a new window)