NASA Formal Methods
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings
Series: Lecture Notes in Computer Science;
-
GET 12% OFF
- Publisher's listprice EUR 79.17
-
30 923 Ft (29 451 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 12% (cc. 3 711 Ft off)
- Discounted price 27 213 Ft (25 917 Ft + 5% VAT)
27 213 Ft
Availability
Not yet published.
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Publisher Springer Nature Switzerland
- Date of Publication 12 June 2026
- ISBN 9783032280787
- Binding Paperback
- No. of pages568 pages
- Size 235x155 mm
- Language English
- Illustrations XV, 568 p. 141 illus., 96 illus. in color. 695
Categories
Long description:
This book constitutes the proceedings of the 18th International Symposium on NASA Formal Methods, NFM 2026, held in Los Angeles, CA, USA in May 2026.
The 23 regular papers and 2 short papers presented in the proceedings were carefully reviewed and selected from 60 submissions. They focus on formalization of natural language
requirements, contracts, theorem proving and rewriting logic, probabilistic model checking, automated constraint solving, static analysis, runtime verification, testing, automata learning, formal semantics and verification of programming languages, verification of AI systems, AI-assisted formal verification, and large language models (LLMs).
More
Table of Contents:
Distributed Systems and Solver Verification.- Runtime Monitoring for Autonomous Systems.- Stochastic and Probabilistic Formal Methods.- Low-Level Systems and Hardware Verification.- Neural Network Verification and Adversarial Robustness.- Program Analysis and Defect Detection.- Formal Semantics and Verified Tools.- Aviation Safety and Collision Avoidance.
More
