Published August 12, 2022
| Version v1
Software
Open
Artifact of "BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs"
Authors/Creators
- 1. MPI-SWS
Description
This is the artifact for the OOPSLA'22 (conditionally accepted) paper "BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs".
The main artifact `bff_artifact.zip` contains the code and proofs which you can either build from source or execute in Docker.
You may also load the Virtual Box image to reproduce the experiments. Due to the slow file upload of Zenodo, this image can be downloaded here via Google drive.
Files
bff_artifact.zip
Files
(14.7 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:3b7d84287075b5ac232e82b335d06a6b
|
14.7 MB | Preview Download |