Nasa Formal Methods - Lee Ritchie (Curatore); Jha Susmit (Curatore); Mavridou Anastasia (Curatore) | Libro Springer 08/2020 - HOEPLI.it


home libri books ebook dvd e film top ten sconti 0 Carrello


Torna Indietro

lee ritchie (curatore); jha susmit (curatore); mavridou anastasia (curatore) - nasa formal methods

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

; ;




Disponibilità: Non disponibile o esaurito presso l'editore


PREZZO
89,98 €



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


Pagabile anche con App18 Bonus Cultura e Carta Docenti


Facebook Twitter Aggiungi commento


Spese Gratis

Dettagli

Genere:Libro
Lingua: Inglese
Editore:

Springer

Pubblicazione: 08/2020
Edizione: 1st ed. 2020





Sommario

Learning and Formal Synthesis.- From Passive to Active: Learning Timed Automata Efficiently.- Generating Correct-by-Construction Distributed Implementations from Formal Maude Designs.- Parameter Synthesis and Robustness Analysis of Rule-Based Models.- Formal Methods for DNNs.- PaRoT: A Practical Framework for Robust Deep Neural Network Training.- Simplifying Neural Networks using Formal Verification.- High Assurance Systems.- Neural Simplex Architecture.- Strengthening Deterministic Policies for POMDPs.- Benchmarking Software Model Checkers on Automotive Code.- Requirement Specification and Testing.- Automated Requirements-Based Testing of Black-Box Reactive Systems.- Formal Verification of Parallel Prefix Sum.- Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.- Validation and Solvers.- A Validation Methodology for OCaml-to-PVS Translation.- On the Usefulness of Clause Strengthening in Parallel SAT Solving.- Solvers and Program Analysis.- Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL*.- Constraint Caching Revisited.- Per-Location Simulation.- Verification and Timed Systems.- Sampling Distributed Schedules for Resilient Space Communication.- Model Checking Timed Hyperproperties in Discrete-Time Systems.- Verifying Band Convergence for Sampled Control Systems.- Autonomy and Other Applications.- Heterogeneous Verification of an Autonomous Curiosity Rover.- Run-Time Assurance for Learning-Enabled Systems.- hpnmg: A CC++ Tool for Model Checking Hybrid Petri Nets with General Transitions.- Hybrid and Cyber-Physical Systems.- A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata.- Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches.- Falsification of Cyber-Physical Systems with Constrained Signal Spaces.




Trama

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.







Altre Informazioni

ISBN:

9783030557539

Condizione: Nuovo
Collana: Lecture Notes in Computer Science
Dimensioni: 235 x 155 mm Ø 706 gr
Formato: Brossura
Illustration Notes:49 Illustrations, black and white
Pagine Arabe: 442
Pagine Romane: xxi






Utilizziamo i cookie di profilazione, anche di terze parti, per migliorare la navigazione, per fornire servizi e proporti pubblicità in linea con le tue preferenze. Se vuoi saperne di più o negare il consenso a tutti o ad alcuni cookie clicca qui. Chiudendo questo banner o proseguendo nella navigazione acconsenti all’uso dei cookie.

X