COMS 4070: Applied Formal Methods
(Cross-listed with AERE 4070).
Credits: 3. Contact Hours: Lecture 3.
Prereq: AERE 3610 for AERE majors. COMS 3110 for COMS majors. AERE 3610 or COMS 3110, or an equivalent course, plus instructor permission for other majors.
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)