NASA Formal Methods

Discover the cutting-edge insights in NASA Formal Methods by Aaron Dutle, published by Springer Nature Switzerland AG in 2021. This comprehensive 1st edition spans 402 pages and delves into advanced methodologies applicable to various high-stakes systems. Explore critical topics such as advanced separation assurance algorithms for aircraft, next-generation air transportation solutions, and the autonomous rendezvous and docking of spacecraft. Additionally, the book covers on-board software for unmanned aerial systems (UAS), UAS traffic management, autonomous robotics, and innovative systems for fault detection, diagnosis, and prognostics. NASA Formal Methods is an essential resource for professionals and researchers interested in aerospace technology and safety-critical systems. Enhance your understanding of formal methods and their application in real-world scenarios with this authoritative guide.