MATH465 Formal Methods for Software Engineering

This course introduces the student to a variety of formal methods. These include finite state machines, automata, formal grammars and languages, computability and decidability, invariant assertions and proofs of correctness, and formal specifications. The course discusses application, analysis, advantages and disadvantages of formal methods.