Image de couverture de livre

Wait-Only Broadcast Protocols are Easier to Verify

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Guillou, Lucie, Sangnier, Arnaud, Sznajder, Nathalie
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
par: Guillou, Lucie, et autres
Publié: (2024)

Phase-Bounded Broadcast Networks over Topologies of Communication
par: Guillou, Lucie, et autres
Publié: (2024)

On the Satisfiability of Local First-Order Logics with Data
par: Bollig, Benedikt, et autres
Publié: (2023)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
par: Guillou, Lucie, et autres
Publié: (2023)

Decidability Problems for Micro-Stipula
par: Delzanno, Giorgio, et autres
Publié: (2025)

Model checking with temporal graphs and their derivative
par: Bui-Xuan, Binh-Minh, et autres
Publié: (2026)

Parameterized Model-checking of Discrete-Timed Networks and Symmetric-Broadcast Systems
par: Aminof, Benjamin, et autres
Publié: (2023)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
par: Guasch, Antoni, et autres
Publié: (2025)

Verifying Numerical Methods with Isabelle/HOL
par: Bryant, Dustin, et autres
Publié: (2025)

Verified and Optimized Implementation of Orthologic Proof Search
par: Guilloud, Simon, et autres
Publié: (2025)

Satisfiability Modulo Theories for Verifying MILP Certificates
par: Wood, Kenan, et autres
Publié: (2023)

The Only Distributive Law Over the Powerset Monad Is the One You Know
par: Goncharov, Sergey, et autres
Publié: (2026)

Formalizing multi-graded Brenner-Schröer Proj schemes and dilatations of rings in Lean4
par: Mayeux, Arnaud, et autres
Publié: (2026)

An Imperative Language for Verified Exact Real-Number Computation
par: Bauer, Andrej, et autres
Publié: (2024)

Verifying SQL Queries using Theories of Tables and Relations
par: Mohamed, Mudathir, et autres
Publié: (2024)

Synthesising Full-Information Protocols
par: Berwanger, Dietmar, et autres
Publié: (2023)

Temporal Hyperproperties for Population Protocols
par: Waldburger, Nicolas, et autres
Publié: (2024)

VerifyThis 2019: A Program Verification Competition (Extended Report)
par: Dross, Claire, et autres
Publié: (2020)

Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
par: Barenbaum, Pablo
Publié: (2026)

Verifying Global Two-Safety Properties in Neural Networks with Confidence
par: Athavale, Anagha, et autres
Publié: (2024)

Formally Verified Animation for RoboChart using Interaction Trees
par: Ye, Kangfeng, et autres
Publié: (2023)

Formally Verifying the Safety of Pipelined Moonshot Consensus Protocol
par: Praveen, M., et autres
Publié: (2024)

Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics
par: Losavio, Lidia, et autres
Publié: (2025)

Case Study: Verified Vampire Proofs in the LambdaPi-calculus Modulo
par: Komel, Anja Petković, et autres
Publié: (2025)

Verifying Exact Samplers for Continuous Distributions with a Discrete Program Logic
par: de Medeiros, Markus, et autres
Publié: (2026)

Efficient Synthesis of Symbolic Distributed Protocols by Sketching
par: Egolf, Derek, et autres
Publié: (2024)

Simplified and Verified: A Second Look at a Proof-Producing Union-Find Algorithm
par: Stevens, Lukas, et autres
Publié: (2025)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
par: Kohlen, Bram, et autres
Publié: (2025)

Towards Verifying Exact Conditions for Implementations of Density Functional Approximations
par: Helal, Sameerah, et autres
Publié: (2024)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
par: Egolf, Derek, et autres
Publié: (2025)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
par: Zeyen, Olivier, et autres
Publié: (2025)

Pragmatics of Formally Verified Yet Efficient Static Analysis, in particular for Formally Verified Compilers
par: Monniaux, David
Publié: (2024)

DRAFT: A Formally Verified Constructive Proof of the Consistency of Peano Arithmetic Using Ordinal Assignments
par: Bryce, Aaron, et autres
Publié: (2026)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
par: Bunch, Carter, et autres
Publié: (2024)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
par: Balasubramanian, A. R., et autres
Publié: (2020)

Preguss: It Analyzes, It Specifies, It Verifies
par: Wang, Zhongyi, et autres
Publié: (2025)

The flattening operator in team-based logics
par: Durand, Arnaud, et autres
Publié: (2025)

Reusable Formal Verification of DAG-based Consensus Protocols
par: Bertrand, Nathalie, et autres
Publié: (2024)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
par: Dvorak, Martin, et autres
Publié: (2025)

A Formally Verified Lightning Network
par: Fabiański, Grzegorz, et autres
Publié: (2025)