Skip to main content
SpringerLink
Log in

NASA Formal Methods

12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings

  • Conference proceedings
  • © 2020

Overview

Editors:
  1. Ritchie Lee

    1. NASA Ames Research Center, Moffett Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Susmit Jha

    1. SRI International, Menlo Park, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Anastasia Mavridou

    1. KBR Inc., NASA Ames Research Center, Moffett Field, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Dimitra Giannakopoulou

    1. NASA Ames Research Center, Moffett 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 12229)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: NFM 2020.

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 59.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 79.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 (26 papers)

  1. Front Matter

    Pages i-xxi
    Download chapter PDF

  2. Learning and Formal Synthesis

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. From Passive to Active: Learning Timed Automata Efficiently

      • Bernhard K. Aichernig, Andrea Pferscher, Martin Tappler
      Pages 1-19

    3. Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs

      • Si Liu, Atul Sandur, José Meseguer, Peter Csaba Ölveczky, Qi Wang
      Pages 22-40

    4. Parameter Synthesis and Robustness Analysis of Rule-Based Models

      • Matej Troják, David Šafránek, Lukrécia Mertová, Luboš Brim
      Pages 41-59

  3. Formal Methods for DNNs

    1. Front Matter

      Pages 61-61
      Download chapter PDF

    2. PaRoT: A Practical Framework for Robust Deep Neural Network Training

      • Edward W. Ayers, Francisco Eiras, Majd Hawasly, Iain Whiteside
      Pages 63-84

    3. Simplifying Neural Networks Using Formal Verification

      • Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark Barrett, Guy Katz
      Pages 85-93

  4. High Assurance Systems

    1. Front Matter

      Pages 95-95
      Download chapter PDF

    2. Neural Simplex Architecture

      • Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
      Pages 97-114

    3. Strengthening Deterministic Policies for POMDPs

      • Leonore Winterer, Ralf Wimmer, Nils Jansen, Bernd Becker
      Pages 115-132

    4. Benchmarking Software Model Checkers on Automotive Code

      • Lukas Westhofen, Philipp Berger, Joost-Pieter Katoen
      Pages 133-150

  5. Requirement Specification and Testing

    1. Front Matter

      Pages 151-151
      Download chapter PDF

    2. Automated Requirements-Based Testing of Black-Box Reactive Systems

      • Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto
      Pages 153-169

    3. Formal Verification of Parallel Prefix Sum

      • Mohsen Safari, Wytse Oortwijn, Sebastiaan Joosten, Marieke Huisman
      Pages 170-186

    4. Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

      • Vassil Todorov, Safouan Taha, Frédéric Boulanger
      Pages 187-203

  6. Validation and Solvers

    1. Front Matter

      Pages 205-205
      Download chapter PDF

    2. A Validation Methodology for OCaml-to-PVS Translation

      • Xiaoxin An, Amer Tahat, Binoy Ravindran
      Pages 207-221

    3. On the Usefulness of Clause Strengthening in Parallel SAT Solving

      • Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
      Pages 222-229

  7. Solvers and Program Analysis

    1. Front Matter

      Pages 231-231
      Download chapter PDF
Back to top

Other volumes

  1. NASA Formal Methods

Keywords

About this book

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.*

The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections:  learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems.

*The conference was held virtually due to the COVID-19 pandemic.

The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

Editors and Affiliations

  • NASA Ames Research Center, Moffett Field, USA

    Ritchie Lee, Dimitra Giannakopoulou

  • SRI International, Menlo Park, USA

    Susmit Jha

  • KBR Inc., NASA Ames Research Center, Moffett Field, USA

    Anastasia Mavridou

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation