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

Published September 14, 2022 | Version v2

Software Open

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

Name	Size
bff_artifact.zip md5:effbc8c566433ec16afbe2b39caec683	3.0 GB	Preview Download

Views

148

Downloads

Show more details

DOI

Resource type

Software

Publisher

Zenodo

Languages

English

License: Creative Commons Attribution 4.0 International

The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited. Read more