Other Open Access

MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic -- Artifact

Krebbers, Robbert; Jourdan, Jacques-Henri; Jung, Ralf; Tassarotti, Joseph; Kaiser, Jan-Oliver; Timany, Amin; Charguéraud. Arthur; Dreyer, Derek

This is the artifact for the paper "MoSeL: A General, Extensible Modal Framework for Interactive Proofs in Separation Logic".

The artifact comes in two forms: As a "mosel-final.zip" file to build yourself, and as a preconfigured VM "MoSeL Artifact.ova" with the artifact already set up and built.

You can find the paper and the latest version of this artifact at http://iris-project.org/mosel/.

Files (1.8 GB)
Name Size
ArtifactOverview.md
md5:8cd37233375554f2aee1871b673a315e
10.6 kB Download
MoSeL Artifact.ova
md5:fe4160e7e62105ed2edbf68d2da7e496
1.8 GB Download
mosel-final.zip
md5:d93ae439282e3430f527e3896abad587
2.0 MB Download
27
4
views
downloads
All versions This version
Views 2727
Downloads 44
Data volume 5.9 MB5.9 MB
Unique views 2525
Unique downloads 44

Share

Cite as