Published September 14, 2022 | Version v2
Software Open

Artifact of "BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs"

Creators

  • 1. MPI-SWS

Description

This is the artifact for the OOPSLA'22 paper "BFF: Foundational and Automated Verification of Bitfield-Manipulating Programs".

After unzipping the archive `bff_artifact.zip`, the `README.md` provides instructions on how to use this artifact.

Files

bff_artifact.zip

Files (3.0 GB)

Name Size Download all
md5:effbc8c566433ec16afbe2b39caec683
3.0 GB Preview Download