SWE 6883:Formal Methods in Software Engineering

3 Class Hours 0 Laboratory Hours 3 Credit Hours
Prerequisite: SWE 6623 and SWE 6613; or permission by program coordinator.
This course will present best practices for the application of formal methods and will explore their tools, techniques, and applications using real-world case study. It will also help students to understand how formal methods can support the production of high-quality software. Students will learn how to use formal methods techniques to rigorously specify, validate, and verify safety-critical systems, as for example self-driving vehicles and aircrafts. This course will use a hands-on interactive approach.