Jul 25, 2024  
2023-2024 Graduate Catalog 
    
2023-2024 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

SWE 6883:Formal Methods in Software Engineering

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.



Add to Portfolio (opens a new window)