@inproceedings{dvcon,
  author       = {Michalis Pardalos and
                  Alastair F. Donaldson and
                  Emiliano Morini and
                  Laura Pozzi and
                  John Wickerson},
  title        = {Who checks the checkers? {Automatically} finding bugs in {C}-to-{RTL} formal equivalence checkers},
  booktitle    = {Design and Verification Conference},
  year         = {2024},
  doi          = {https://doi.org/10.30420/566438006},
}