Published September 10, 2024
| Version v1
Software
Open
Remix
Creators
Description
This is the artifact (demo) of "Multi-Grained Specifications for Distributed System Model Checking and Verification" presented at EuroSys'25. For the subsequent updates of the Remix artifact: https://github.com/Lingzhi-Ouyang/Remix.
Files
Remix-artifact.zip
Files
(13.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:9dada12f2041a012ce66f82c060e3ea1
|
13.3 MB | Preview Download |