NASA Formal Methods

Discover the groundbreaking insights in NASA Formal Methods, authored by Ritchie Lee and published by Springer Nature Switzerland AG in 2020. This comprehensive volume presents the proceedings of the 12th International Symposium on NASA Formal Methods (NFM 2020), which took place in Moffett Field, CA, USA, in May 2020. Inside its 442 pages, you will find 20 full papers and 5 short papers, all meticulously reviewed and selected from a competitive pool of 62 submissions. This book is essential for anyone interested in the latest advancements in formal methods applied to NASA projects. Enhance your understanding of this critical field and explore the innovative research that shapes the future of aerospace engineering.