Published November 26, 2023
| Version v3
Software
Open
VST-A: A Foundationally Sound Annotation Verifier
- 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 | Download all |
|---|---|---|
|
md5:a10c128e4bfa4220f9176f3a1c20e74d
|
5.5 MB | Preview Download |