|
|
|
Apr 23, 2024
|
|
C S 533 - Formal Methods of Software Systems Engineering3 Credits
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.Prerequisites: C S 145 or equivalent, knowledge of a modern programming language, and discrete structures
Add to Portfolio (opens a new window)
|
|
|
