Published August 27, 2024 | Version v2
Software Open

Multris: Functional Verification of Multiparty Message Passing in Separation Logic - Coq Mechanization

Creators

  • 1. ROR icon Aarhus University
  • 2. ROR icon Cornell University
  • 3. Radboud University Nijmegen

Description

Coq Mechanization artifact for the OOPSLA'24 paper: "Multris: Functional Verification of Multiparty Message Passing in Separation Logic"

See included README for more details.

Files

multris.zip

Files (49.6 kB)

Name Size Download all
md5:e8216d3251f1982bd5937117504db7e0
49.6 kB Preview Download