Published 2023 | Version v3
Software Open

Artifact for POPL '24 paper "Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions"

Creators

  • 1. Columbia University

Description

Artifact for POPL '24 paper "Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions"

Files

README.md

Files (476.1 MB)

Name Size Download all
md5:41e690694a1841e2ab3f382dbec6beab
476.1 MB Download
md5:9a7e73466381dc6448801cc01ff05f31
30.9 kB Preview Download