Skip to main content
Springer Nature Link
Log in

NASA Formal Methods

16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4–6, 2024, Proceedings

  • Conference proceedings
  • © 2024

Overview

Editors:
  1. Nathaniel Benz

    1. NASA Ames Research Center, Moffett Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Divya Gopinath

    1. Ames Research Center, Moffett Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Nija Shi

    1. NASA Ames Research Center, Moffet Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14627)

Included in the following conference series:

Conference proceedings info: NFM 2024.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 109.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium on NASA Formal Methods, NFM 2024, held in Moffett Field, CA, USA in June 2024. The 20 full papers together with 6 short papers included in this volume were carefully reviewed and selected from 68 submissions.

The conference focuses on the on formal techniques for software and system assurance for applications in space, aviation, robotics, and other NASA-relevant safety-critical systems.

Keywords

Table of contents (26 papers)

  1. Front Matter

    Pages i-xxiii
    Download chapter PDF

  2. Advances in Solver Technology

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Structure-Guided Cube-and-Conquer for MaxSAT

      • Max Bannach, Markus Hecher
      Pages 3-20

    3. Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm

      • Sabrine Saouli, Souheib Baarir, Claude Dutheillet
      Pages 21-36

    4. Formalization of Asymptotic Convergence for Stationary Iterative Methods

      • Mohit Tekriwal, Joshua Miller, Jean-Baptiste Jeannin
      Pages 37-56

    5. Distributional Probabilistic Model Checking

      • Ingy Elsayed-Aly, David Parker, Lu Feng
      Pages 57-75

  3. Formal Methods for Program Analysis and Verification

    1. Front Matter

      Pages 77-77
      Download chapter PDF

    2. Quantitative Input Usage Static Analysis

      • Denis Mazzucato, Marco Campion, Caterina Urban
      Pages 79-98

    3. Verifying a C Implementation of Derecho’s Coordination Mechanism Using VST and Coq

      • Ramana Nagasamudram, Lennart Beringer, Ken Birman, Mae Milano, David A. Naumann
      Pages 99-117

    4. Verification of Scapegoat Trees Using Dafny

      • Jiapeng Wang, Sini Chen, Huibiao Zhu
      Pages 118-135

    5. Real Arithmetic in TLAPM 

      • Ovini V. W. Gunasekera, Andrew Sogokon, Antonios Gouglidis, Neeraj Suri
      Pages 136-143

  4. SMT-Based Assurance of Behavioral Specifications

    1. Front Matter

      Pages 145-145
      Download chapter PDF

    2. Deductive Model Refinement

      • Douglas R. Smith, Srinivas Nedunuri
      Pages 147-165

    3. Symmetry-Based Abstraction Algorithm for Accelerating Symbolic Control Synthesis

      • Hussein Sibai, Sacha Huriot, Tyler Martin, Murat Arcak
      Pages 166-185

    4. SMT-Based Aircraft Conflict Detection and Resolution

      • Saswata Paul, Baoluo Meng, Christopher Alexander
      Pages 186-203

  5. Formal Methods for Learning-Enabled Systems

    1. Front Matter

      Pages 205-205
      Download chapter PDF

    2. Towards Formal Verification of Neural Networks in Cyber-Physical Systems

      • Federico Rossi, Cinzia Bernardeschi, Marco Cococcioni, Maurizio Palmieri
      Pages 207-222

    3. Approximate Conformance Verification of Deep Neural Networks

      • P. Habeeb, Pavithra Prabhakar
      Pages 223-238

    4. Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems

      • Yuhao Zhou, Stavros Tripakis
      Pages 239-255

  6. Formal Methods for Automotive Systems

    1. Front Matter

      Pages 257-257
      Download chapter PDF
Back to top

Other volumes

  1. NASA Formal Methods

Editors and Affiliations

  • NASA Ames Research Center, Moffett Field, USA

    Nathaniel Benz

  • Ames Research Center, Moffett Field, USA

    Divya Gopinath

  • NASA Ames Research Center, Moffet Field, USA

    Nija Shi

Bibliographic Information

Publish with us

Policies and ethics

Back to top