The wides pread use and increasing complexity of mission-cri tical and safety-critical systems at NASA and the aerospace industry requires advanced techniques th at address their specification, design, verificati on, validation, and certification requirements. Th e NASA Formal Methods Symposium is a forum to fost er collaboration between theoreticians and practit ioners from NASA, academia, and industry, with the goal of identifying challenges and providing solu tions towards achieving assurance for such critica l systems.
\n\nNew developments and emergi ng applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic Man agement (UTM), advanced separation assurance algor ithms for aircraft, and the need for system-wide f ault detection, diagnosis, and prognostics provide new challenges for system specification, developm ent, and verification approaches. The focus of the se symposiums are on formal techniques and other a pproaches for software assurance, including their theory, current capabilities and limitations, as w ell as their potential application to aerospace, r obotics, and other NASA-relevant safety-critical s ystems during all stages of the software life-cycl e.
\n\nDue to concerns about COVID-19, NFM 2020 will shift to a virtual symposium.
\nWe encourage submissions on cross-cut ting approaches that bring together formal methods and techniques from other domains such as probabi listic reasoning, machine learning, control theory , robotics, and quantum computing among others.
\n