Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Preface: Special Issue on Nasa Formal Methods Symposium 2009


This journal issue contains seven articles representing extended versions of the best papers selected from the proceedings of the First NASA Formal Methods Symposium (NFM 2009). The NASA Formal Methods Symposium is a new annual event that focuses on formal techniques, their theory, current capabilities, and limitations, as well as their application to aerospace, robotics, and other safety-critical systems.

This is a preview of subscription content, log in to check access.

Author information

Correspondence to Ewen Denney.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Denney, E., Giannakopoulou, D. & Păsăreanu, C.S. Preface: Special Issue on Nasa Formal Methods Symposium 2009. Innovations Syst Softw Eng 6, 171–172 (2010).

Download citation


  • Aerospace
  • Formal methods
  • Verification