There is a newer version of the record available.

Published January 29, 2022 | Version v0.1
Software Open

avanhatt/icse22ae-kani:

Creators

  • 1. Cornell University

Description

Kani Rust Model Checker artifact for ICSE 2022 Artifact Evaluation

Files

avanhatt/icse22ae-kani-v0.1.zip

Files (44.5 kB)

Name Size Download all
md5:6e1aed50ebb1765bcbbb821f292b3309
44.5 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/avanhatt/icse22ae-kani/tree/v0.1 (URL)