The wides pread use and increasing complexity of mission-cri tical and safety-critical systems at NASA and in t he aerospace industry requires advanced technologi es to address their specification, design, verific ation, validation, and certification. The NASA For mal Methods Symposium is a forum to foster collabo ration between theoreticians and practitioners fro m NASA, other government agencies, academia, and i ndustry, with the goal of identifying challenges a nd providing solutions towards achieving assurance for such critical systems. The focus of this symp osium is on formal techniques for software and sys tem assurance for applications in space, aviation, robotics, and other NASA-relevant critical system s.
\nTopics of Interest
\n * Adv
ances in Formal Methods
\n * Integration of Fo
rmal Methods
\n * Formal Methods in Practice\n
There are two categories of
submissions:
\n * Regular papers - Up to 15 pa
ges plus references. Regular papers describe fully
developed work and complete results.
\n * Sho
rt papers - Up to 6 pages plus references. Short p
apers describe either novel and publicly available
tools, case studies detailing applications of for
mal methods, or new emerging ideas in the topics o
f interest.
All papers should be in Engl ish and describe original work that has not been p ublished or submitted elsewhere. Authors should us e LNC S style formatting. Authors of accepted papers must present their work in person at the conferen ce.
\n