EG 7309 Formal Methods in Software Engineering - 3 semester hours
Review of mathematical foundation for formal methods. Formal languages and techniques for specification and design, including specifying syntax using grammars and finite state machines. Analysis and verification of specification and designs. Use of assertion and proofs. Automated program and design transformation.