There is a newer version of the record available.

Published April 12, 2021 | Version v1
Software Open

"RustHorn: CHC-Based Verification for Rust Programs" TOPLAS 2021 Artifacts

Authors/Creators

  • 1. University of Tokyo

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 (511.4 kB)

Name Size Download all
md5:b04ff0aefcd8c049394c8bbffce8ff58
511.4 kB Preview Download