NFM 2013

The Fifth NASA Formal Methods Symposium (NFM 2013) will be organized by the Robust Software Engineering group at NASA Ames in Moffett Field, CA, May 14-16, 2013.

theme of annual conference

The NASA Formal Methods Symposium is a series of annual conferences organized by the NASA Formal Methods Research Goup. The sympoisum is a forum for theoreticians and practitioners from academia, industry, and government, with the goals of identifying challenges and providing solutions to achieving assurance in mission- and safety-critical systems. Within NASA, for example, such systems include autonomous robots, separation assurance algorithms for aircraft, Next Generation Air Transportation (NextGen), and autonomous rendezvous and docking for spacecraft. Moreover, emerging paradigms such as code generation and safety cases are bringing with them new challenges and opportunities. The focus of the symposium will be on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems.

topics of interest

• Formal verification, including theorem proving, model checking, and static analysis
• Automated test generation and testing techniques for safety-critical systems
• Model-based development
• Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and distributed techniques
• Monitoring and runtime verification
• Code generation from formally verified models
• Significant applications of formal methods to aerospace systems
• Modeling and verification aspects of cyber-physical systems
• Safety cases
• Accident/safety analysis
• Formal approaches to fault tolerance
• Theoretical advances and empirical evaluations of formal methods
• Techniques for safety-critical systems, including hybrid and embedded systems
• Formal methods in systems engineering