COMS 5070: Applied Formal Methods
(Dual-listed with AERE 4070/ COMS 4070).
(Cross-listed with AERE 5070).
Credits: 3. Contact Hours: Lecture 3.
Introduction to the fundamentals of formal methods, a set of mathematically rigorous techniques for the formal specification, validation, and verification of safety- and security-critical systems. Tools, techniques, and applications of formal methods with an emphasis on real-world use-cases such as enabling autonomous operation. Build experience in writing mathematically analyzable specifications from English operational concepts for real cyberphysical systems, such as aircraft and spacecraft. Review capabilities and limitations of formal methods in the design, verification, and system health management of today's complex systems. (Typically Offered: Spring)