Skip to main content
SpringerLink
Log in

NASA Formal Methods

14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

  • Conference proceedings
  • © 2022

Overview

Editors:
  1. Jyotirmoy V. Deshmukh

    1. University of Southern California, Los Angeles, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Klaus Havelund

    1. Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ivan Perez

    1. National Institute of Aerospace, Hampton, 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 13260)

Included in the following conference series:

Conference proceedings info: NFM 2022.

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
Softcover Book USD 139.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (46 papers)

  1. Front Matter

    Pages i-xxii
    Download chapter PDF

  2. Invited Keynotes

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Formal Methods for Trusted Space Autonomy: Boon or Bane?

      • Steve A. Chien
      Pages 3-13

    3. An Essence of Domain Engineering

      • Dines Bjørner
      Pages 14-51

    4. Concept Design Moves

      • Daniel Jackson
      Pages 52-70

    5. Automating Program Transformation with Coccinelle

      • Julia Lawall, Gilles Muller
      Pages 71-87

    6. The Prusti Project: Formal Verification for Rust

      • Vytautas Astrauskas, Aurel Bílý, Jonáš Fiala, Zachary Grannan, Christoph Matheja, Peter Müller et al.
      Pages 88-108

    7. Reachability Analysis for Cyber-Physical Systems: Are We There Yet?

      • Xin Chen, Sriram Sankaranarayanan
      Pages 109-130

  3. Regular Submissions

    1. Front Matter

      Pages 131-131
      Download chapter PDF

    2. Towards Better Test Coverage: Merging Unit Tests for Autonomous Systems\(^{\dagger }\)

      • Josefine B. Graebener, Apurva Badithela, Richard M. Murray
      Pages 133-155

    3. Quantification of Battery Depletion Risk Made Efficient

      • Holger Hermanns, Gilles Nies
      Pages 156-174

    4. Hierarchical Contract-Based Synthesis for Assurance Cases

      • Timothy E. Wang, Zamira Daw, Pierluigi Nuzzo, Alessandro Pinto
      Pages 175-192

    5. Verified Probabilistic Policies for Deep Reinforcement Learning

      • Edoardo Bacci, David Parker
      Pages 193-212

    6. NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing

      • Ulices Santa Cruz, Yasser Shoukry
      Pages 213-230

    7. The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS

      • Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
      Pages 231-250

    8. Case Studies for Computing Density of Reachable States for Safe Autonomous Motion Planning

      • Yue Meng, Zeng Qiu, Md Tawhid Bin Waez, Chuchu Fan
      Pages 251-271

    9. Towards Refactoring FRETish Requirements

      • Marie Farrell, Matt Luckcuck, Oisín Sheridan, Rosemary Monahan
      Pages 272-279

    10. Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability

      • Stanley Bak, Hoang-Dung Tran
      Pages 280-298

    11. ZoPE: A Fast Optimizer for ReLU Networks with Low-Dimensional Inputs

      • Christopher A. Strong, Sydney M. Katz, Anthony L. Corso, Mykel J. Kochenderfer
      Pages 299-317

    12. Permutation Invariance of Deep Neural Networks with ReLUs

      • Diganta Mukhopadhyay, Kumar Madhukar, Mandayam Srivas
      Pages 318-337
Back to top

Other volumes

  1. NASA Formal Methods

Keywords

About this book

This book constitutes the proceedings of the 14th International Symposium on NASA Formal Methods, NFM 2022, held in Pasadena, USA, during May 24-27, 2022.

The 33 full and 6 short papers presented in this volume were carefully reviewed and selected from 118submissions. The volume also contains 6 invited papers.

The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice. The focus on topics such as interactive and automated theorem proving; SMT and SAT solving; model checking; use of machine learning and probabilistic reasoning in formal methods; formal methods and graphical modeling languages such as SysML or UML; usability of formal method tools and application in industry, etc. 

 

Editors and Affiliations

  • University of Southern California, Los Angeles, USA

    Jyotirmoy V. Deshmukh

  • Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA

    Klaus Havelund

  • National Institute of Aerospace, Hampton, USA

    Ivan Perez

Bibliographic Information

  • Book Title: NASA Formal Methods

  • Book Subtitle: 14th International Symposium, NFM 2022, Pasadena, CA, USA, May 24–27, 2022, Proceedings

  • Editors: Jyotirmoy V. Deshmukh, Klaus Havelund, Ivan Perez

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-031-06773-0

  • Publisher: Springer Cham

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer Nature Switzerland AG 2022

  • Softcover ISBN: 978-3-031-06772-3Published: 20 May 2022

  • eBook ISBN: 978-3-031-06773-0Published: 19 May 2022

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XXII, 828

  • Number of Illustrations: 51 b/w illustrations, 168 illustrations in colour

  • Topics: Software Engineering/Programming and Operating Systems

Publish with us

Policies and ethics

Back to top

Search

Navigation