Published January 20, 2026
| Version v3
Software
Open
Rely-Guarantee Is Coinductive -- ESOP 2025 Software Artifact
Authors/Creators
-
1.
University of Sheffield
Files
esop-relyguarantee-artifact.zip
Files
(2.7 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:50af1857f79b22d10fd18bc0a2e02049
|
2.7 GB | Download |
|
md5:8855cd64cfd00fd3b19de7d56d729881
|
944.1 kB | Preview Download |
|
md5:3ca57fade9b5f5b90ae584f3a680e383
|
1.4 kB | Preview Download |
|
md5:58d35ce62414ad09570696e027e2ebdd
|
15.2 kB | Preview Download |
|
md5:67a90630a683035e2d88c1601947c074
|
887 Bytes | Preview Download |
|
md5:e9f4052ea1f15ec5fef6cd1b26281bda
|
850 Bytes | Preview Download |