Published April 15, 2025
| Version v1
Software
Open
(Artifact) Automated Verification of Monotonic Data Structure Traversals in C
Authors/Creators
Description
Contains the artifact reproducing results from our CAV '25 paper "Automated Verification of Monotonic Data Structure Traversals in C." Please see the README for details on how to use the artifact.
Files
Files
(16.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:6980d167270afa4b59386605ae045cb6
|
1.1 kB | Download |
|
md5:0134778f54aee1f5c15da834ecddfdc8
|
422.5 kB | Download |
|
md5:16a6f9cfce672693c0110a3813440a44
|
7.4 kB | Download |
|
md5:c9da9b54e4f81ad12731bdecff0b0c82
|
127.1 kB | Download |
|
md5:87e30281a4ef5d0969a00e8fded94fcb
|
16.8 GB | Download |
|
md5:39d6cc348040c06a47bffb98956ffad2
|
103 Bytes | Download |
|
md5:92e9323d1213ebae427d559573c29f16
|
80 Bytes | Download |
|
md5:ca80c0c012bf47c1789cfa3346f79ae5
|
79 Bytes | Download |