NASA formal methods 18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, proceedings Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto, editors

Format:

Book

Conference/Event

Author/Creator:

Deshmukh, Jyotirmoy

Contributor:

Deshmukh, Jyotirmoy, Editor.

Havelund, Klaus, 1955- Editor.

Pinto, Alessandro, Editor.

Conference Name:

NFM (Conference) (18th : 2026 : Los Angeles Calif.)

Series:

Lecture notes in computer science ; 1611-3349 16622

Lecture notes in computer science 1611-3349 16622

Language:

English

Subjects (All):

Formal methods (Computer science)--Congresses.

Formal methods (Computer science).

Physical Description:

1 online resource

Edition:

1st ed.

Other Title:

NFM 2026

Place of Publication:

Cham Springer [2026]

Summary:

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

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

Notes:

Includes author index

Online resource; title from PDF title page (SpringerLink, viewed June 24, 2026)

ISBN:

9783032280794

3032280796

OCLC:

1599117705

Access Restriction:

Restricted for use by site license