April 27-29, 2015, Pasadena, California, USA
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
There will not be a registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to submit, to attend, to listen to the talks, and to participate in discussions; however, all attendees must register.
NFM 2015 is organized by Laboratory for Reliable Software (LaRS) at NASA’s Jet Propulsion Laboratory (JPL). JPL is a federally funded research and development center and NASA field center, managed by the nearby California Institute of Technology (Caltech) for the National Aeronautics and Space Administration. The laboratory’s primary function is the construction and operation of planetary robots and spacecraft, for example the Mars rovers.
NFM 2015 is the seventh edition of the NASA Formal Methods Symposium, steered by the NASA Formal Methods Group. The symposium grew out of a workshop series started by the NASA Langley Formal Methods Group, and is now held annually, hosted each year by one of the NASA centers.
Proceedings to be published in: