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

Share

Cite as