There is a newer version of the record available.

Published February 20, 2025 | Version v1
Software Open

Artefact of: Verified Parameterized Choreographies

Creators

  • 1. EDMO icon University of Twente

Description

This artefact ontains the source code of the full annotated distributed summation choreography. For verification purposes, VerCors v2.3.0 is also included, to allow replication of the verification results. This artefact accompanies the paper "Verified Parameterized Choreographies", submitted at the COORDINATION 2025 conference.

Files

veymont-coordination25-artefact.zip

Files (588.2 MB)

Name Size Download all
md5:0d3d330e0cbb002027972447cb76fa29
588.2 MB Preview Download

Additional details

Funding

Dutch Research Council
Mercedes: Maximal Reliability of Concurrent and Distributed Software 639.023.710

Dates

Submitted
2025-02-28
Artefact submitted at COORDINATION2025

Software

Repository URL
https://github.com/utwente-fmt/vercors
Programming language
Scala