Published April 15, 2025 | Version v3
Software Open

Artifact for PLDI 2025 Paper #316 LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-based Consensus Protocols

Description

This is artifact for PLDI 2025 paper #316 "LiDO-DAG: A Framework for Verifying Safety and Liveness of DAG-based Consensus Protocols." See README.md inside package for details.

Files

Files (3.6 MB)

Name Size Download all
md5:723ce2153b1de3e334657eae93d417bf
3.6 MB Download

Additional details

Software

Programming language
Coq , OCaml