Other Open Access
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/.