Deshmukh / Havelund / Pinto NASA Formal Methods

18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings
Erscheinungsjahr 2026
ISBN: 978-3-032-28079-4
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, 568 Seiten

Reihe: Springer Nature Proceedings Computer Science

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).

Zielgruppe

Research

Autoren/Hrsg.

Deshmukh, Jyotirmoy

Havelund, Klaus

Pinto, Alessandro

Inhaltsverzeichnis

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.