NFM 2016 - 2016 NASA Formal Methods Symposium

The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification. 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. The focus of the symposium is on formal methods, and aims to foster collaboration between NASA researchers and engineers and the wider aerospace and academic formal methods communities. Approaches do not need to directly address the aerospace domain since solutions often are applicable across domains.
Topics of interest
Symposium topics of interest include but are not limited to the following:
Model checking
Theorem proving
SAT and SMT solving
Symbolic execution
Static analysis
Runtime verification
Systematic testing
Program refinement
Compositional verification
Security and intrusion detection
Modeling and specification formalisms
Model-based development
Model-based testing
Requirement engineering
Formal approaches to fault tolerance
Applications of formal methods