Verifying a Realistic Mutable Hash Table Case Study (Short Paper) (Artifact)

Chassot, Samuel; Kunčak, Viktor

doi:10.5281/zenodo.10993102

There is a newer version of the record available.

Published April 18, 2024 | Version v1

Software Open

Verifying a Realistic Mutable Hash Table Case Study (Short Paper) (Artifact)

1. École Polytechnique Fédérale de Lausanne

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

README.md

Files (569.8 MB)

Name	Size	Download all
LongMap.zip md5:b29874468d63d09f644471e9bb65d63b	569.8 MB	Preview Download
README.md md5:52db359f783bf34560f27c73c7ca0e04	2.1 kB	Preview Download

Additional details

Programming language: Scala

Citations

Oops! Something went wrong while fetching results.

321

Views

169

Downloads

Show more details

	All versions	This version
Views	321	46
Downloads	169	101
Data volume	52.4 GB	31.9 GB

More info on how stats are collected....

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code. Read more

Technical metadata

Created: April 18, 2024
Modified: April 18, 2024

Verifying a Realistic Mutable Hash Table Case Study (Short Paper) (Artifact)

Creators

Description

Files

README.md

Files (569.8 MB)

Additional details

Software