Overview

Full Product Details

Author:   Aaron Dutle ,  Laura Humphrey ,  Laura Titolo
Publisher:   Springer International Publishing AG
Imprint:   Springer International Publishing AG
Volume:   15682
ISBN:  

9783031937057

ISBN 10:   3031937058
Pages:   442
Publication Date:   08 June 2025
Audience:   Professional and scholarly ,  College/higher education ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Enforcing MAVLink Safety & 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions