NASA Formal Methods

Discover the cutting-edge insights of NASA Formal Methods by Sanjai Rayadurgam, published by Springer International Publishing AG in 2016. This comprehensive volume, spanning 396 pages, showcases the proceedings of the 8th International Symposium on NASA Formal Methods (NFM 2016), which took place in Minneapolis, MN, USA. Within these pages, you will find 19 full papers and 10 short papers that have been meticulously reviewed and selected from an impressive pool of 70 submissions. This book is an essential resource for anyone interested in computer science, software development, and the formal methods utilized by the National Aeronautics and Space Administration (NASA). Enhance your understanding of this critical field and explore the innovative research that shapes the future of aerospace technology.