NASA Formal Methods 12th International Symposium NFM 2020 Moffett Field CA USA May 11 15 2020 Proceedings 1st Edition by Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou ISBN 3030557537 978-3030557539

NASA Formal Methods 12th International Symposium NFM 2020 Moffett Field CA USA May 11 15 2020 Proceedings 1st Edition by  Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou- Ebook PDF Instant Download/Delivery: 3030557537, 978-3030557539

Full download NASA Formal Methods 12th International Symposium NFM 2020 Moffett Field CA USA May 11 15 2020 Proceedings 1st Edition after payment

 

Product details:

ISBN 10: 3030557537

ISBN 13:  978-3030557539

Author: Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou

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.

Table of contents: 

1 From Passive to Active: Learning Timed Automata Efficiently

2 Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs

3 Parameter Synthesis and Robustness Analysis of Rule-Based Models

4 PaRoT: A Practical Framework for Robust Deep Neural Network Training

5 Simplifying Neural Networks Using Formal Verification

6 Neural Simplex Architecture

7 Strengthening Deterministic Policies for POMDPs

8 Benchmarking Software Model Checkers on Automotive Code

9 Automated Requirements-Based Testing of Black-Box Reactive Systems

10 Formal Verification of Parallel Prefix Sum

11 Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking

12 A Validation Methodology for OCaml-to-PVS Translation

13 On the Usefulness of Clause Strengthening in Parallel SAT Solving

14 Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL

15 Constraint Caching Revisited

16 Per-Location Simulation

17 Sampling Distributed Schedulers for Resilient Space Communication

18 Model Checking Timed Hyperproperties in Discrete-Time Systems

19 Verifying Band Convergence for Sampled Control Systems

20 Heterogeneous Verification of an Autonomous Curiosity Rover

21 Run-Time Assurance for Learning-Enabled Systems

22 hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions

23 A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata

24 Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches

25 Falsification of Cyber-Physical Systems with Constrained Signal Spaces

26 Correction to: NASA Formal Methods

People also search for:

 nasa formal methods symposium
    
nasa formal methods conference
    
nasa formal methods 2023
    
nasa formal methods 2022
    
nasa formal methods

Tags: Ritchie Lee, Susmit Jha, Anastasia Mavridou, Dimitra Giannakopoulou, NASA Formal Methods, International Symposium, Moffett Field, Proceedings