Published October 21, 2022
| Version v1
Software
Open
FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format
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 |