Published January 9, 2025 | Version v1
Software Open

Iso-Recursive Multiparty Sessions and their Automated Verification

Creators

  • 1. ROR icon University of Oxford

Description

This repository contains the artefact with the Cameleer[1] / Why3[2] mechanisation accompanying
the submission "Iso-Recursive Multiparty Sessions and their Automated Verification".

[1] Mário Pereira, António Ravara:
Cameleer: A Deductive Verification Tool for OCaml. CAV (2) 2021: 677-689

[2] Jean-Christophe Filliâtre, Andrei Paskevich:
Why3 - Where Programs Meet Provers. ESOP 2013: 125-128

Files

INSTRUCTIONS.zip

Files (8.9 GB)

Name Size Download all
md5:ad924a2d2cfa7cfb587fecc30ff863d0
313.6 kB Preview Download
md5:7a97e90d7529062c5f8af1352c41caeb
8.9 GB Download
md5:3d121e23af816d6b847bc3f166e492ce
35.3 kB Preview Download

Additional details

Related works

Is compiled by
10.1007/978-3-030-81688-9_31 (DOI)