Published February 8, 2023 | Version v1
Conference paper Open

Artifact for An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic

Creators

  • 1. University College London
  • 2. University of Melbourne

Description

This is the artifact for the FoSSaCS'23 paper "An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic".

It contains the scripts reproducing the results of the paper.

Files

README.md

Files (6.0 GB)

Name Size Download all
md5:820b8ee2ad1faa3a12cdc60d028db7a6
1.2 kB Preview Download
md5:6ea3192eebf8c8f3d5dd6e4cfee7b944
6.0 GB Download