ES400 - Formal Methods Anlysis/Desgn

includes a review of discrete mathematics and first order logic, a survey of formal methods used in software engineering, a detailed study of Z specification language, and discussion of formal design and verification. Students work on a specification team project (using a defined specification process), and study and deliver presentations on articles about recent work in application and research in formal methods. 3 credits
Prerequisites: ES300 and QS400 recommended or permission of department head
3 Credits