NASA Formal Methods
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 details
Content
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.