+++
title = "Fuzzing equivalence checking tools"
date = "2023-04-08"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["2e2a"]
forwardlinks = []
zettelid = "2e2b"
+++

The interesting thing about fuzzing equivalence checking tools is that
one actually wants to generate two designs or pieces of code that are
actually not equivalent to each other, but should still be similar
enough to try and trick the equivalence checker.