ARGOMENTO: BOOKS > INFORMATICA > TESTI GENERALI > INGEGNERIA DEL SOFTWARE

rozier kristin yvonne (curatore); chaudhuri swarat (curatore) - nasa formal methods

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings

Name: NASA Formal Methods
Price: 103,53 € EUR
Availability: InStock
Author: Rozier Kristin Yvonne Curatore Chaudhuri Swarat Curatore
ISBN: 9783031331695

rozier kristin yvonne (curatore); chaudhuri swarat (curatore)

Disponibilità: Normalmente disponibile in 15 giorni

PREZZO
108,98 €

NICEPRICE
103,53 €

SCONTO
5%

Acquista

Questo prodotto usufruisce delle SPEDIZIONI GRATIS
selezionando l'opzione Corriere Veloce in fase di ordine.

Pagabile anche con Carta della cultura giovani e del merito, Carta della Cultura e Carta del Docente

Dettagli

Genere:Libro

Lingua: Inglese

Editore:

Springer

Pubblicazione: 06/2023

Edizione: 1st ed. 2023

Trama

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.

Sommario

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.

Altre Informazioni

ISBN:

9783031331695

Condizione: Nuovo

Collana: Lecture Notes in Computer Science

Dimensioni: 235 x 155 mm

Formato: Brossura

Illustration Notes:XXIII, 490 p. 149 illus., 89 illus. in color.

Pagine Arabe: 490

Pagine Romane: xxiii

Dicono di noi

Per noi la tua privacy è importante

Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.

Impostazioni cookie

Rifiuta Tutti i cookie

Accetto tutti i cookie

Ricerche più comuni

Collegamenti Rapidi