Published October 9, 2023
| Version v1
Software
Open
DisLog: A Separation Logic for Disentanglement - Artifact
Description
This is the artifact corresponding to the article entitled "DisLog: A Separation Logic for Disentanglement", and its associated documentation.
Files
README_artifact.md
Files
(1.8 GB)
Name | Size | Download all |
---|---|---|
md5:9074bb5078982a18c78fd8176cac3523
|
1.8 GB | Download |
md5:e298ad77aa141d1be07269cbbeacd0e8
|
1.6 MB | Download |
md5:6670dc87314965deb85bba2286d41dd0
|
7.8 kB | Preview Download |