NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
YOU SAVE £18.92
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
- More about NASA Formal Methods: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24-27, 2022, Proceedings
The book "Advances in Formal Methods, Formal Methods Techniques, and Formal Methods in Practice" summarizes the proceedings of the 14th International Symposium on NASA Formal Methods,NFM 2022, which included 33 full and 6 short papers and 6 invited papers. The papers covered various topics in formal methods, such as interactive and automated theorem proving, SMT and SAT solving, model checking, machine learning, and probabilistic reasoning, and their applications in industry.
Format: Paperback / softback
Length: 828 pages
Publication date: 20 May 2022
Publisher: Springer International Publishing AG
The 14th International Symposium on NASA Formal Methods (NFM 2022) was held in Pasadena, USA, from May 24 to 27, 2022. This book serves as a compilation of the proceedings of the symposium, featuring 33 full papers and 6 short papers. The papers presented in this volume were meticulously reviewed and selected from a total of 118 submissions. Additionally, the book includes 6 invited papers that delve into various aspects of formal methods.
The papers covered in this volume explore advancements in formal methods, techniques, and their practical applications. Key topics include interactive and automated theorem proving, software model checking, the integration of machine learning and probabilistic reasoning into formal methods, the use of formal methods and graphical modeling languages such as SystemML or UML, and the usability of formal method tools and their industrial applications.
The symposium brought together experts from around the world to discuss the latest developments and trends in formal methods, fostering collaboration and knowledge exchange in this field. The contributions made by the authors and presenters in this volume are expected to have a significant impact on the future of software engineering and formal methods research.
Overall, this book provides a valuable resource for researchers, practitioners, and students interested in formal methods, software engineering, and related areas.
Weight: 1282g
Dimension: 235 x 155 (mm)
ISBN-13: 9783031067723
Edition number: 1st ed. 2022
This item can be found in:
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.