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.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
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). https://doi.org/10.1007/s11334-010-0130-3
- Formal methods