Fuzzing and Delta Debugging And-Inverter Graph Verification Tools.

Daniela Kaufmann Armin Biere

Published in: TAP@STAF (2022)

Keyphrases

hardware designs
software tools
random walk
formal methods
decision support
graph structure
graph theory
formal verification
user friendly
directed graph
bipartite graph
graph representation
semi supervised
control algorithm
directed acyclic graph
program understanding