001469491 000__ 05319cam\\22006737i\4500
001469491 001__ 1469491
001469491 003__ OCoLC
001469491 005__ 20230803003332.0
001469491 006__ m\\\\\o\\d\\\\\\\\
001469491 007__ cr\un\nnnunnun
001469491 008__ 230608s2023\\\\sz\a\\\\o\\\\\101\0\eng\d
001469491 019__ $$a1381200747
001469491 020__ $$a9783031331701$$q(electronic bk.)
001469491 020__ $$a3031331702$$q(electronic bk.)
001469491 020__ $$z9783031331695
001469491 020__ $$z3031331699
001469491 0247_ $$a10.1007/978-3-031-33170-1$$2doi
001469491 035__ $$aSP(OCoLC)1381446174
001469491 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dUKAHL$$dOCLCF
001469491 049__ $$aISEA
001469491 050_4 $$aQA76.9.F67
001469491 08204 $$a004.0151$$223/eng/20230608
001469491 1112_ $$aNFM (Symposium)$$n(15th :$$d2023 :$$cHouston, Tex.)
001469491 24510 $$aNASA formal methods :$$b15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings /$$cKristin Yvonne Rozier, Swarat Chaudhuri, editors.
001469491 2463_ $$aNFM 2023
001469491 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001469491 300__ $$a1 online resource (xxiii, 490 pages) :$$billustrations (some color).
001469491 336__ $$atext$$btxt$$2rdacontent
001469491 337__ $$acomputer$$bc$$2rdamedia
001469491 338__ $$aonline resource$$bcr$$2rdacarrier
001469491 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13903
001469491 4901_ $$aFormal methods
001469491 500__ $$aIncludes author index.
001469491 5050_ $$aNon-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.
001469491 506__ $$aAccess limited to authorized users.
001469491 520__ $$aThis 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.
001469491 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 8, 2023).
001469491 650_0 $$aFormal methods (Computer science)$$vCongresses.
001469491 655_0 $$aElectronic books.
001469491 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001469491 7001_ $$aRozier, Kristin Yvonne,$$eeditor.$$1https://orcid.org/0000-0002-6718-2828
001469491 7001_ $$aChaudhuri, Swarat,$$eeditor.$$1https://orcid.org/0000-0002-6859-1391
001469491 77608 $$iPrint version: $$z3031331699$$z9783031331695$$w(OCoLC)1375990995
001469491 830_0 $$aLecture notes in computer science ;$$v13903.$$x1611-3349
001469491 830_0 $$aLecture notes in computer science.$$pFormal methods.
001469491 852__ $$bebk
001469491 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-33170-1$$zOnline Access$$91397441.1
001469491 909CO $$ooai:library.usi.edu:1469491$$pGLOBAL_SET
001469491 980__ $$aBIB
001469491 980__ $$aEBOOK
001469491 982__ $$aEbook
001469491 983__ $$aOnline
001469491 994__ $$a92$$bISE