Published April 16, 2021 | Version v1
Software Open

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

Creators

  • 1. University of Pennsylvania
  • 2. Yale University
  • 3. Princeton University
  • 4. University of Illinois at Chicago

Description

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

Files

ArtifactGuide.md

Files (1.0 GB)

Name Size Download all
md5:aa281d8ca9265edfdc9ec043d84d5593
2.4 kB Preview Download
md5:21b7e6fa6e1c560716da51d410d37e38
1.0 GB Download

Additional details

Funding

Collaborative Research: Expeditions in Computing: The Science of Deep Specification 1521602
National Science Foundation
SHF: Small: Verified High Performance Data Structure Implementations 1811894
National Science Foundation
Collaborative Research: Expeditions in Computing: The Science of Deep Specification 1521523
National Science Foundation
Collaborative Research: Expeditions in Computing: The Science of Deep Specification 1521539
National Science Foundation
SHF: Small: Random Testing for Language Design 1421243
National Science Foundation