Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

Published October 21, 2022 | Version v1
Software Open

FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format

  • 1. East China Normal University

Description

Artifact for the paper submitted to TACAS 2023 - FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.

Files

artifact.zip

Files (478.1 MB)

Name Size Download all
md5:0cb96bc4e21bfe6d94eda657d8c05dba
478.1 MB Preview Download