|
Feb 10, 2025
|
|
|
|
SWE 6883:Formal Methods in Software Engineering3 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.
Add to Portfolio (opens a new window)
|
|