NASA Formal Methods conference

All Editions
Tue 16 - Thu 18 May 2023 Houston, Texas, United States

NASA Formal Methods

The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry require advanced techniques that address these systems’ specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium (NFM) is an annual forum to foster collaboration between theoreticians and practitioners from NASA, academia, and ...