|
|
|
Dec 26, 2024
|
|
CS 5330 - Formal Methods of Software Systems Engineering3 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)
|
|
|
