NASA Formal Methods

Discover the cutting-edge advancements in formal methods with NASA Formal Methods by Aaron Dutle. This comprehensive volume, published by Springer International Publishing AG in 2018, is the official proceedings of the 10th International Symposium on NASA Formal Methods (NFM 2018), held in Newport News, VA. With a total of 470 pages, this first edition features a collection of 24 full papers and 7 short papers that have been meticulously reviewed and selected from an impressive pool of 92 submissions. This book is an essential resource for researchers and practitioners interested in the intersection of formal methods and aerospace applications. Delve into the latest research and insights that shape the future of NASA's formal methods and enhance your understanding of this vital field.