NASA Formal Methods

18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5–7, 2026, Proceedings

568 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

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

 

 

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Computerprogrammierung und Softwareentwicklung Software Engineering
• ISBN: 9783032280787
• Sprache: Englisch
• Erscheinungsdatum: 12.06.2026
• Größe: 23.5 x 15.5 cm
• Verlag: Springer International Publishing
• Herausgegeben von: Jyotirmoy Deshmukh, Klaus Havelund, Alessandro Pinto