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.
| Date made available | 20 Feb 2025 |
|---|---|
| Publisher | Zenodo |