Buchumschlag

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Schultz, William, Ashton, Edward, Howard, Heidi, Tripakis, Stavros
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Distributed, Parallel, and Cluster Computing Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Verification of Population Protocols with Unordered Data
von: van Bergerem, Steffen, et al.
Veröffentlicht: (2024)

Reusable Formal Verification of DAG-based Consensus Protocols
von: Bertrand, Nathalie, et al.
Veröffentlicht: (2024)

Self-Correcting Gossip Protocols
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2026)

Complexity of Verification and Synthesis of Threshold Automata
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Distributed Knowledge in Simplicial Models
von: Goubault, Éric, et al.
Veröffentlicht: (2026)

Proceedings 17th Interaction and Concurrency Experience
von: Aubert, Clément, et al.
Veröffentlicht: (2024)

Proceedings 18th Interaction and Concurrency Experience
von: Aubert, Clément, et al.
Veröffentlicht: (2025)

Modelling the Raft Distributed Consensus Protocol in mCRL2
von: Bora, Parth, et al.
Veröffentlicht: (2024)

Distributed Incremental SAT Solving with Mallob: Report and Case Study with Hierarchical Planning
von: Schreiber, Dominik
Veröffentlicht: (2025)

ChonkyBFT: Consensus Protocol of ZKsync
von: França, Bruno, et al.
Veröffentlicht: (2025)

Towards a Formal Verification of Secure Vehicle Software Updates
von: Hagen, Martin Slind, et al.
Veröffentlicht: (2025)

Deterministic Distributed Algorithms and Measurable Combinatorics on $Δ$-Regular Forests
von: Brandt, Sebastian, et al.
Veröffentlicht: (2022)

Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
von: Zhang, Junchao
Veröffentlicht: (2025)

Bisimulation for Impure Simplicial Complexes
von: Bílková, Marta, et al.
Veröffentlicht: (2024)

Fair Mutual Exclusion for N Processes (extended version)
von: Hafidi, Yousra, et al.
Veröffentlicht: (2021)

Application Placement with Constraint Relaxation
von: Azzolini, Damiano, et al.
Veröffentlicht: (2025)

A categorical and logical framework for iterated protocols
von: Goubault, Eric, et al.
Veröffentlicht: (2025)

Fault-Tolerant Multiparty Session Types with Global Escape Loops
von: Bartl, Lukas, et al.
Veröffentlicht: (2025)

Impure Simplicial Complexes: Complete Axiomatization
von: Randrianomentsoa, Rojo, et al.
Veröffentlicht: (2022)

Verifying the Hashgraph Consensus Algorithm
von: Crary, Karl
Veröffentlicht: (2021)

Knowledge and simplicial complexes
von: van Ditmarsch, Hans, et al.
Veröffentlicht: (2020)

Message Passing Without Temporal Direction: Constraint Semantics and the FITO Category Mistake
von: Borrill, Paul
Veröffentlicht: (2026)

Revisited Convergence of Dolev et al BFS Spanning Tree Algorithm
von: Altisen, Karine, et al.
Veröffentlicht: (2025)

Regular Model Checking Upside-Down: An Invariant-Based Approach
von: Esparza, Javier, et al.
Veröffentlicht: (2022)

Just Verification of Mutual Exclusion Algorithms
von: van Glabbeek, Rob, et al.
Veröffentlicht: (2025)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
von: Agarwal, Shubham, et al.
Veröffentlicht: (2026)

What Distributed Computing Got Wrong: The Category Mistake That Turned Design Choices into Laws of Nature
von: Borrill, Paul
Veröffentlicht: (2026)

VerIso: Verifiable Isolation Guarantees for Database Transactions
von: Ghasemirad, Shabnam, et al.
Veröffentlicht: (2025)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication
von: Cignarale, Giorgio, et al.
Veröffentlicht: (2025)

A Note on an Inferentialist Approach to Resource Semantics
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2024)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
von: Egolf, Derek, et al.
Veröffentlicht: (2024)

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
von: Nguyen, Dung Thuy, et al.
Veröffentlicht: (2024)

Interactive Visualization of Proof-of-Work Consensus Protocol on Raspberry Pi
von: Ivashkevich, Anton, et al.
Veröffentlicht: (2025)

Unveiling the Mechanisms of DAI: A Logic-Based Approach to Stablecoin Analysis
von: De Sclavis, Francesco, et al.
Veröffentlicht: (2024)

Communication Modalities
von: Kuznets, Roman
Veröffentlicht: (2024)

Fast and Secure Decentralized Optimistic Rollups Using Setchain
von: Capretto, Margarita, et al.
Veröffentlicht: (2024)

Persistent homology of partially ordered spaces
von: Calk, Cameron, et al.
Veröffentlicht: (2023)

Specifying and Verifying RDMA Synchronisation (Extended Version)
von: Ambal, Guillaume, et al.
Veröffentlicht: (2026)

Worst-Case Input Generation for Concurrent Programs under Non-Monotone Resource Metrics
von: Pham, Long, et al.
Veröffentlicht: (2023)

An Efficient Implementation of Guard-Based Synchronization for an Object-Oriented Programming Language
von: Yao, Shucai, et al.
Veröffentlicht: (2025)