Artifact Evaluation

There is a newer version of the record available.

Published November 14, 2023 | Version v2
Software Open

VST-A: A Foundationally Sound Annotation Verifier

Authors/Creators

  • 1. Shanghai Jiao Tong University / The University of Hong Kong
  • 2. Shanghai Jiao Tong University
  • 3. Princeton University

Description

Artifact for VST-A: A Foundationally Sound Annotation Verifier

Files

VST-A-artifact.zip

Files (5.5 MB)

Name Size
md5:f01f5bc3f04dadc8d4bcb56b163630c4
5.5 MB Preview Download