JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  source | experiments ]

Fuzzing and Delta Debugging And-Inverter Graph Verification Tools

This site provides access to an extended set of experimental data and source code used in our paper:

Daniela Kaufmann, Armin Biere. Fuzzing and Delta Debugging And-Inverter Graph Verification Tools. Submitted to Tests and Proofs (TAP) 2022.

Source

The following tar.xz contains the versions of AIGdd2, AIGoFuzzing, MultAIGenFuzzer and AMulet2.2 that are used in the experimental evaluation of our paper. Maintained versions will be provided on GitHub after acceptence.

[ KaufmannBiere_TAP22_source.tar.xz (801 KB)]

Experiments

[ KaufmannBiere_TAP22_experimental_data.tar.xz (989 MB)]

Beside those benchmarks used in our experiments we also include the AIGs we derived for other multipliers in related work discussed in the paper.