Buch, Englisch, Band 16622, 568 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 873 g
18th International Symposium, NFM 2026, Los Angeles, CA, USA, May 5-7, 2026, Proceedings
Buch, Englisch, Band 16622, 568 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 873 g
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-032-28078-7
Verlag: Springer
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.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
- Mathematik | Informatik EDV | Informatik Professionelle Anwendung Computersimulation & Modelle, 3-D Graphik
- Mathematik | Informatik EDV | Informatik Informatik Mathematik für Informatiker
- Technische Wissenschaften Technik Allgemein Modellierung & Simulation
- Mathematik | Informatik EDV | Informatik Technische Informatik
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
Weitere Infos & Material
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.
