Published April 15, 2025 | Version v2
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", accepted at the COORDINATION 2025 conference.

Files

veymont-coordination25-artefact.zip

Files (589.8 MB)

Name Size Download all
md5:371f6c7b1428817d238ae5c8a62948ea
589.8 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
Accepted
2025-04-05
Artefact accepted at COORDINATION2025

Software

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