Buchumschlag

Efficient Synthesis of Symbolic Distributed Protocols by Sketching

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Egolf, Derek, Schultz, William, Tripakis, Stavros
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	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

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties
von: Egolf, Derek, et al.
Veröffentlicht: (2026)

Accelerating Protocol Synthesis and Detecting Unrealizability with Interpretation Reduction
von: Egolf, Derek, et al.
Veröffentlicht: (2025)

Can LLMs Perform Synthesis?
von: Egolf, Derek, et al.
Veröffentlicht: (2026)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
von: Schultz, William, et al.
Veröffentlicht: (2024)

Towards Language Model Guided TLA+ Proof Automation
von: Zhou, Yuhao, et al.
Veröffentlicht: (2025)

Compositional Inductive Invariant Based Verification of Neural Network Controlled Systems
von: Zhou, Yuhao, et al.
Veröffentlicht: (2023)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
von: Andresel, Medina, et al.
Veröffentlicht: (2026)

Synthesiz3 This: an SMT-Based Approach for Synthesis with Uncomputable Symbols
von: Hozzová, Petra, et al.
Veröffentlicht: (2025)

Efficient Reactive Synthesis
von: Ye, Xin, et al.
Veröffentlicht: (2024)

On Reconfigurable Bisimulation, with an Application to the Distributed Synthesis Problem
von: Alrahman, Yehia Abd, et al.
Veröffentlicht: (2025)

Symbolic Computation for All the Fun
von: Brown, Chad E., et al.
Veröffentlicht: (2024)

Distribution-Free Normal Modal Logics
von: Hartonas, Chrysafis
Veröffentlicht: (2024)

Consistent Update Synthesis via Privatized Beliefs
von: Schlögl, Thomas, et al.
Veröffentlicht: (2024)

Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
von: Desmond, Harry
Veröffentlicht: (2026)

Temporal Hyperproperties for Population Protocols
von: Waldburger, Nicolas, et al.
Veröffentlicht: (2024)

Synthesising Full-Information Protocols
von: Berwanger, Dietmar, et al.
Veröffentlicht: (2023)

On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions
von: Jensen, Nicolaj Ø., et al.
Veröffentlicht: (2025)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
von: Sofronie-Stokkermans, Viorica
Veröffentlicht: (2025)

Bounded Structural Model Finding with Symbolic Data Constraints
von: Boronat, Artur
Veröffentlicht: (2026)

Distribution-Free Modal Logics: Sahlqvist -- Van Benthem Correspondence
von: Chrysafis, et al.
Veröffentlicht: (2025)

Inductive Satisfiability Certification for Universal Quantifiers and Uninterpreted Function Symbols
von: Ratschan, Stefan, et al.
Veröffentlicht: (2026)

Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
von: Fang, Jian, et al.
Veröffentlicht: (2025)

Wait-Only Broadcast Protocols are Easier to Verify
von: Guillou, Lucie, et al.
Veröffentlicht: (2025)

Dynamic Programming for Symbolic Boolean Realizability and Synthesis
von: Lin, Yi, et al.
Veröffentlicht: (2024)

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic
von: Liang, Xiaolong, et al.
Veröffentlicht: (2024)

Strategy Synthesis for Zero-Sum Neuro-Symbolic Concurrent Stochastic Games
von: Yan, Rui, et al.
Veröffentlicht: (2022)

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis (Full Version)
von: Heim, Philippe, et al.
Veröffentlicht: (2024)

Testing Uniform Random Samplers: Methods, Datasets and Protocols
von: Zeyen, Olivier, et al.
Veröffentlicht: (2025)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
von: Colomina-Alminana, Juan J.
Veröffentlicht: (2026)

Trustworthy Verification of RISC-V Binaries Using Symbolic Execution in HolBA
von: Palmskog, Karl, et al.
Veröffentlicht: (2025)

iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
von: Czerner, Philipp, et al.
Veröffentlicht: (2026)

Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
von: Bunch, Carter, et al.
Veröffentlicht: (2024)

Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy
von: Balasubramanian, A. R., et al.
Veröffentlicht: (2020)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
von: Elad, Neta, et al.
Veröffentlicht: (2026)

Symbolic Snapshot Ensembles
von: Liu, Mingyue, et al.
Veröffentlicht: (2025)

Symbolic Synthesis for LTLf+ Obligations
von: De Giacomo, Giuseppe, et al.
Veröffentlicht: (2026)

Distributive Laws of Monadic Containers
von: Purdy, Chris, et al.
Veröffentlicht: (2025)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
von: Şakar, Ömer, et al.
Veröffentlicht: (2026)

Concrete Security Bounds for Simulation-Based Proofs of Multi-Party Computation Protocols
von: Sojakova, Kristina, et al.
Veröffentlicht: (2025)

Neuro-Symbolic Constrained Optimization for Cloud Application Deployment via Graph Neural Networks and Satisfiability Modulo Theory
von: Erascu, Madalina
Veröffentlicht: (2025)