2011-2012 Catalog 
    
    Mar 28, 2024  
2011-2012 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., CS 1450 or equivalent, knowledge modern programming language, and discrete structures.



Add to Portfolio (opens a new window)