NASA Formal Methods

Explore the cutting-edge research in formal methods with NASA Formal Methods, authored by Julia M. Badger. This comprehensive volume, published by Springer Nature Switzerland AG in 2019, compiles the proceedings from the 11th International Symposium on NASA Formal Methods (NFM 2019), held in Houston, TX. With a total of 392 pages, this book features 20 full papers and 8 short papers, all meticulously reviewed and selected from over 100 submissions. Ideal for researchers and practitioners in the field, this collection delves into innovative methodologies and applications that enhance the reliability and safety of software systems in aerospace and beyond. Don’t miss the opportunity to gain insights from leading experts and expand your knowledge in formal methods.