E-book: NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

Edited by Swarat Chaudhuri, Edited by Kristin Yvonne Rozier

Format: EPUB+DRM
Series: Lecture Notes in Computer Science 13903
Pub. Date: 02-Jun-2023
Publisher: Springer International Publishing AG
Language: eng
ISBN-13: 9783031331701

Other books in subject:

Format - EPUB+DRM
Price: 98,18 €*
* the price is final i.e. no additional discount will apply
Add to basket
Add to Wishlist
This ebook is for personal use only. E-Books are non-refundable.

Format: EPUB+DRM
Series: Lecture Notes in Computer Science 13903
Pub. Date: 02-Jun-2023
Publisher: Springer International Publishing AG
Language: eng
ISBN-13: 9783031331701

Other books in subject:

DRM restrictions

Copying (copy/paste):

not allowed
Printing:

not allowed
Usage:

Digital Rights Management (DRM)
The publisher has supplied this book in encrypted form, which means that you need to install free software in order to unlock and read it. To read this e-book you have to create Adobe ID More info here. Ebook can be read and downloaded up to 6 devices (single user with the same Adobe ID).

Required software
To read this ebook on a mobile device (phone or tablet) you'll need to install this free app: PocketBook Reader (iOS / Android)

To download and read this eBook on a PC or Mac you need Adobe Digital Editions (This is a free app specially developed for eBooks. It's not the same as Adobe Reader, which you probably already have on your computer.)

You can't read this ebook with Amazon Kindle

This book constitutes the proceedings of the 15th International Symposium on NASA Formal Methods, NFM 2023, held in Houston, Texas, USA, during May 16-18, 2023.

The 26 full and 3 short papers presented in this volume were carefully reviewed and selected from 75 submissions.

The papers deal with advances in formal methods, formal methods techniques, and formal methods in practice.

Non-linear Activation Functions.- Open and Closed-Loop Neural Network Verification using Polynomial Zonotopes.- Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.- Formalizing Piecewise Affne Activation Functions of Neural Networks in Coq.- Verifying an Aircraft Collision Avoidance Neural Network with Marabou.- Strategy Synthesis in Markov Decision Processes Under Limited Sampling Access.- Learning Symbolic Timed Models from Concrete Timed Data.- Reward Shaping from Hybrid Systems Models in Reinforcement Learning.- Conservative Safety Monitors of Stochastic Dynamical Systems.- Code-level Formal Verification of Ellipsoidal Invariant Sets for Linear Parameter-Varying Systems.- Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.- Formal Guarantees for Centralized Multi-Agent Synthesis with Spatial Constraints via Mixed-Integer Quadratic Programming.- A Framework for Policy Based Negotiation.- Rewrite-Based Decomposition of Signal Temporal Logic Specifications.- Quantitative Verification and Strategy Synthesis for BDI Agents.- Multi-Objective Task Assignment and Multiagent Planning with Hybrid GPU-CPU Acceleration.- Reasoning over Test Specifications using Assume-Guarantee Contracts.- Formally Proved Memory Controllers: From the Standards to Silicon.- Formalising Liveness Properties in Event-B with the Reflexive EB4EB Framework.- Formalized High Level Synthesis with Applications to Cryptographic Hardware.- From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif.- Automata-Based Software Model Checking of Hyperproperties.- Condition Synthesis Realizability via Constrained Horn Clauses.- A Toolkit for Automated Testing of Dafny.- Verified ALL(*) Parsing with Semantic Actions and Dynamic Input Validation.- Subtropical Satisfiability for SMT Solving.- A Linear Weight Transfer Rule for Local Search.- 1.1 : Zero-suppressed Decision Diagrams in External Memory.- Satisfiability of Non-Linear Transcendental Arithmetic as a Certificate Search Problem.

More information about ebooks