Published November 14, 2023
| Version v2
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:f01f5bc3f04dadc8d4bcb56b163630c4
|
5.5 MB | Preview Download |