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
- U.S. National Science Foundation
- Collaborative Research: Expeditions in Computing: The Science of Deep Specification 1521602
- U.S. National Science Foundation
- SHF: Small: Verified High Performance Data Structure Implementations 1811894
- U.S. National Science Foundation
- Collaborative Research: Expeditions in Computing: The Science of Deep Specification 1521523
- U.S. National Science Foundation
- Collaborative Research: Expeditions in Computing: The Science of Deep Specification 1521539
- U.S. National Science Foundation
- SHF: Small: Random Testing for Language Design 1421243