{"product_id":"nasa-formal-methods-9783031937057","title":"NASA Formal Methods","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003e\u003cp\u003eEnforcing MAVLink Safety \u0026amp; Security Properties Via Refined Multiparty Session Types.- Process-Algebraic Semantics for Verifying Intelligent Robotic Control Software.- Towards a Safe, Verified Runtime Monitor for Embedded Systems: R2U2 in Embedded Rust.- Verification of an Anti-Unification Algorithm in PVS.- Strong Structural Bounds for MaxSAT: The Fine Details of Using Neuromorphic and Quantum Hardware Accelerators.- Vellvm: Formalizing the Informal LLVM (Experience Report).- Eliminating flakiness: deterministic control for validating nondeterministic Asmeta specifications.- Mode-based Reactive Synthesis.- Reusable Formal Verification of DAG-based Consensus Protocols.- A Streamlined, Formal Approach to Requirements-based Testing.- Formally Proving Invariant Systemic Properties of Control Programs Using Ghost Code and Integral Quadratic Constraints.- Querying Labeled Time Series Data with Scenario Programs.- Formal Verification as a Service: A CERN-GSI Case Study.- Formal Verification of Composite Field Multipliers for Information-Theoretically Secure Radio Communication in Spacecraft Control.- Rare Event Simulation for Stochastic Hybrid Systems using Symbolic Importance Functions.- Algorithmic Analysis of Event-B in Rewriting Logic.- HyTwin: A Formal Semantics for Digital Twin Interventions in ICS Based on Time-to-Violation.- Language Partitioning for Mission-time Linear Temporal Logic.- Visualizing Temporal Interval Hierarchies.- Mechanized RS274 semantics for additive manufacturing.- An SMT Formalization of Mixed-Precision Matrix Multiplication (Modeling Three Generations of Tensor Cores).- TRACE: Toolkit for Requirements Analysis, Capture, and Elicitation.- Extending Dynamic Logics with First-Class Relational Reasoning.- Automata Size Reduction by Procedure Finding.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Default Title","offer_id":53195487084887,"sku":"9783031937057","price":104.49,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/nasa-formal-methods-9783031937057","provider":"Book Curl","version":"1.0","type":"link"}