NFM 2015 - 7th NASA Formal Methods Symposium

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