The wides pread use and increasing complexity of mission-cri tical and safety-critical systems at NASA and in t he aerospace industry require advanced techniques that address these systems' specification, design, verification, validation, and certification requi rements. The NASA Formal Methods Symposium (NFM) i s a forum to foster collaboration between theoreti cians and practitioners from NASA, academia, and i ndustry. NFM's goals are to identify challenges an d to provide solutions for achieving assurance for such critical systems.
\n\nThe focus of t he symposium will be on formal techniques and othe r approaches for software assurance, including the ir theory, current capabilities and limitations, a s well as their potential application to aerospace , robotics, and other NASA-relevant safety-critica l systems during all stages of the software life-c ycle.
\nThere are two categor ies of submissions: Regular papers (describing ful ly developed work and complete results, maximum 15 pages) and Short papers (on tools, experience rep orts, or work in progress with preliminary results , maximum 6 pages). All papers must be in English and describe original work that has not been publi shed or submitted elsewhere.
\n