Published April 23, 2021
| Version v2
Software
Open
"RustHorn: CHC-Based Verification for Rust Programs" TOPLAS 2021 Artifacts
Description
Artifacts of the TOPLAS 2021 paper "RustHorn: CHC-Based Verification for Rust Programs" by Yusuke Matsushita, Takeshi Tsukada, and Naoki Kobayashi.
Files
toplas2021.zip
Files
(363.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:05162ce8be400ce7d94e381ff00acdd8
|
363.9 kB | Preview Download |