NFM 2013 - The Fifth NASA Formal Methods Symposium (NFM 2013)

The NASA Formal Methods Symposium 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.
We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others.
Topics of Interest
Formal verification, including theorem proving, model checking, and static analysis
Techniques and algorithms for scaling formal methods, including but not restricted to abstraction and symbolic methods, compositional techniques, as well as parallel and distributed techniques
Use of formal methods in automated software engineering and testing
Model-based development
Formal program synthesis
Runtime monitoring and verification
Formal approaches to fault tolerance
Formal analysis of cyber-physical systems, including hybrid and embedded systems
Formal methods in systems engineering, modeling, requirements and specifications
Applications of formal methods to aerospace systems
Use of formal methods in safety cases
Use of formal methods in human-machine interaction analysis
Formal methods for multi-core, GPU-based implementations
Application of formal methods to emerging technologies, e.g., mobile applications, autonomous systems, web-based application