Published January 14, 2020
| Version v1
Software
Open
Artifact for "Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification" - VMCAI 2020
Description
SMACK Artifact for VMCAI 2020
Files
artifact-VMCAI.zip
Files
(1.5 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:93e45cfc20c0b157a3e6873108376a4a
|
1.5 GB | Preview Download |
Additional details
Related works
- Documents
- Conference paper: 10.1007/978-3-030-39322-9_5 (DOI)