|
|
Dec 14, 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., Graduate students only.
Add to Portfolio (opens a new window)
|
|
|