Published September 7, 2021 | Version v1
Software Open

Modular Specification and Verification of Closures in Rust (artefact)

Authors/Creators

  • 1. ETH Zurich
  • 2. The University of British Columbia

Contributors

  • 1. ETH Zurich

Description

This is the artefact accompanying our OOPSLA 2021 publication, "Modular Specification and Verification of Closures in Rust". It is a compressed docker image that can be imported and started with:

$ docker load -i 215.tgz
$ docker run -it oopsla215

Please refer to the OOPSLA publication and the contained README file for more information.

Files

Files (1.4 GB)

Name Size
md5:0045ada7c2e9d411070eba6f677a118b
1.4 GB Download