Software Open Access

Verifying an HTTP Key-Value Server with Interaction Trees and VST

Hengchu Zhang; Wolf Honoré; Nicolas Koh; Yao Li; Yishuai Li; Li-Yao Xia; Lennart Beringer; William Mansky; Benjamin Pierce; Steve Zdancewic

Software artifact for "Verifying an HTTP Key-Value Server with Interaction Trees and VST".

Files (1.0 GB)
Name Size
ArtifactGuide.md
md5:aa281d8ca9265edfdc9ec043d84d5593 		2.4 kB Download
kvserver-prebuilt.tgz
md5:21b7e6fa6e1c560716da51d410d37e38 		1.0 GB Download
147
32
views
downloads
All versions This version
Views 147147
Downloads 3232
Data volume 19.9 GB19.9 GB
Unique views 135135
Unique downloads 2626
More info on how stats are collected.
Indexed in
Publication date:
April 16, 2021
DOI:
10.5281/zenodo.4697379

Zenodo DOI Badge

DOI 

10.5281/zenodo.4697379

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4697379.svg)](https://doi.org/10.5281/zenodo.4697379)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4697379.svg
   :target: https://doi.org/10.5281/zenodo.4697379

HTML 

<a href="https://doi.org/10.5281/zenodo.4697379"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4697379.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4697379.svg

Target URL 

https://doi.org/10.5281/zenodo.4697379

Grants:
National Science Foundation:
  • Collaborative Research: Expeditions in Computing: The Science of Deep Specification (1521602)
  • SHF: Small: Verified High Performance Data Structure Implementations (1811894)
  • Collaborative Research: Expeditions in Computing: The Science of Deep Specification (1521523)
  • Collaborative Research: Expeditions in Computing: The Science of Deep Specification (1521539)
  • SHF: Small: Random Testing for Language Design (1421243)
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4697379 Apr 16, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4697378. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export