Prerequisite: MATH141 or equivalent.
Introduces best practices for the application of formal methods, a set of mathematically rigorous techniques for the formal specification, validation, and verification of safety-critical systems, of which aircraft and spacecraft are the prime examples. Explores tools, techniques, and applications of formal methods, focusingon aerospace and robotic domains. Students examine the latest research to gain an understanding of the current state of the art, including the capabilities and limitations of applying formal methods for systems analysis. Students from all areas of engineering and computer science are encouraged to enroll.