Published April 27, 2024
| Version v4
Software
Open
Verifying a Realistic Mutable Hash Table Case Study (Short Paper) (Artifact)
Description
This repository contains the artifact for the IJCAR'24 paper "Verifying a Realistic Mutable Hash Table
Case Study (Short Paper)" by Samuel Chassot and Viktor Kunčak.
Files
LongMap-IJCAR-artifact.zip
Files
(570.5 MB)
Name | Size | Download all |
---|---|---|
md5:791500595aabd10638949bfe9fbdc218
|
570.5 MB | Preview Download |
md5:5c2cd392bd91c42ce870e0a94d942e68
|
2.9 kB | Preview Download |