@inproceedings{FroleyksYuPreinerBiereHeljanko-CAV25,
  author       = {Nils Froleyks and
                  Emily Yu and
                  Mathias Preiner and
                  Armin Biere and
                  Keijo Heljanko},
  editor       = {Ruzica Piskac and
                  Zvonimir Rakamaric},
  title        = {Introducing Certificates to the Hardware Model Checking Competition},
  booktitle    = {Computer Aided Verification - 37th International Conference, {CAV}
                  2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {15931},
  pages        = {281--295},
  publisher    = {Springer},
  year         = {2025},
  doi          = {10.1007/978-3-031-98668-0\_14},
}