Imagen de Portada

Reusable Formal Verification of DAG-based Consensus Protocols

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Bertrand, Nathalie, Ghorpade, Pranav, Rubin, Sasha, Scholz, Bernhard, Subotic, Pavle
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Distributed, Parallel, and Cluster Computing Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Modelling the Raft Distributed Consensus Protocol in mCRL2
por: Bora, Parth, et al.
Publicado: (2024)

Verification Challenges in Sparse Matrix Vector Multiplication in High Performance Computing: Part I
por: Zhang, Junchao
Publicado: (2025)

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum
por: Azzolini, Damiano, et al.
Publicado: (2024)

Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
por: Schultz, William, et al.
Publicado: (2024)

Formal Model Guided Conformance Testing for Blockchains
por: Drobnjakovic, Filip, et al.
Publicado: (2025)

ChonkyBFT: Consensus Protocol of ZKsync
por: França, Bruno, et al.
Publicado: (2025)

Cilium and VDM -- Towards Formal Analysis of Cilium Policies
por: Kulik, Tomas, et al.
Publicado: (2024)

Verifying the Hashgraph Consensus Algorithm
por: Crary, Karl
Publicado: (2021)

Verification of Population Protocols with Unordered Data
por: van Bergerem, Steffen, et al.
Publicado: (2024)

Multi-Grained Specifications for Distributed System Model Checking and Verification
por: Ouyang, Lingzhi, et al.
Publicado: (2024)

SoK: DAG-based Consensus Protocols
por: Raikwar, Mayank, et al.
Publicado: (2024)

Towards a Formal Verification of Secure Vehicle Software Updates
por: Hagen, Martin Slind, et al.
Publicado: (2025)

Self-Correcting Gossip Protocols
por: Cignarale, Giorgio, et al.
Publicado: (2026)

Complexity of Verification and Synthesis of Threshold Automata
por: Balasubramanian, A. R., et al.
Publicado: (2020)

Open Challenges in the Formal Verification of Autonomous Driving
por: Burgio, Paolo, et al.
Publicado: (2024)

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
por: Mathur, Umang, et al.
Publicado: (2022)

Formal Modeling and Verification of the Algorand Consensus Protocol in CADP
por: Esposito, Andrea, et al.
Publicado: (2025)

Efficiently Reproducing Distributed Workflows in Notebook-based Systems
por: Azaz, Talha, et al.
Publicado: (2026)

Microservices-based Software Systems Reengineering: State-of-the-Art and Future Directions
por: Mohottige, Thakshila Imiya, et al.
Publicado: (2024)

Specx: a C++ task-based runtime system for heterogeneous distributed architectures
por: Cardosi, Paul, et al.
Publicado: (2023)

Investigating Matrix Repartitioning to Address the Over- and Undersubscription Challenge for a GPU-based CFD Solver
por: Olenik, Gregor, et al.
Publicado: (2025)

LLM-HPC++: Evaluating LLM-Generated Modern C++ and MPI+OpenMP Codes for Scalable Mandelbrot Set Computation
por: Diehl, Patrick, et al.
Publicado: (2025)

SeBS-Flow: Benchmarking Serverless Cloud Function Workflows
por: Schmid, Larissa, et al.
Publicado: (2024)

A Unifying Framework to Enable Artificial Intelligence in High Performance Computing Workflows
por: Domke, Jens, et al.
Publicado: (2025)

CloudHeatMap: Heatmap-Based Monitoring for Large-Scale Cloud Systems
por: Sohana, Sarah, et al.
Publicado: (2024)

$μ$OpTime: Statically Reducing the Execution Time of Microbenchmark Suites Using Stability Metrics
por: Japke, Nils, et al.
Publicado: (2025)

Adaptable TeaStore
por: Bliudze, Simon, et al.
Publicado: (2024)

A Test Taxonomy and Continuous Integration Ecosystem for Dynamic Resource Management in HPC
por: Sandås, Petter, et al.
Publicado: (2026)

Building Castles in the Cloud: Architecting Resilient and Scalable Infrastructure
por: Gundla, Naresh Kumar
Publicado: (2024)

Histrio: a Serverless Actor System
por: Buttiglieri, Giorgio Natale, et al.
Publicado: (2024)

GitFarm: Git as a Service for Large-Scale Monorepos
por: Dwivedi, Preetam, et al.
Publicado: (2026)

Predictive Autoscaling for Node.js on Kubernetes: Lower Latency, Right-Sized Capacity
por: Tymoshenko, Ivan, et al.
Publicado: (2026)

AdaptiFlow: An Extensible Framework for Event-Driven Autonomy in Cloud Microservices
por: Ndadji, Brice Arléon Zemtsop, et al.
Publicado: (2025)

AlertGuardian: Intelligent Alert Life-Cycle Management for Large-scale Cloud Systems
por: Yu, Guangba, et al.
Publicado: (2026)

Carbon-aware Software Services
por: Forti, Stefano, et al.
Publicado: (2024)

CARISMA: CAR-Integrated Service Mesh Architecture
por: Klein, Kevin, et al.
Publicado: (2024)

Do Large Language Models Understand Performance Optimization?
por: Cui, Bowen, et al.
Publicado: (2025)

Umbilical Choir: Automated Live Testing for Edge-To-Cloud FaaS Applications
por: Malekabbasi, Mohammadreza, et al.
Publicado: (2025)

ATOM: Asynchronous Training of Massive Models for Deep Learning in a Decentralized Environment
por: Wu, Xiaofeng, et al.
Publicado: (2024)

Container-level Energy Observability in Kubernetes Clusters
por: Pijnacker, Bjorn, et al.
Publicado: (2025)