@inproceedings{BiereFroleyksPreiner-FMCAD25,
  author       = {Armin Biere and
                  Nils Froleyks and
                  Mathias Preiner},
  editor       = {Ahmed Irfan and
                  Daniela Kaufmann},
  title        = {Hardware Model Checking Competition 2025},
  booktitle    = {Proceedings of the 25th Conference on Formal Methods in Computer-Aided
                  Design, {FMCAD} 2025, Menlo Park, CA, USA, October 6-10, 2025},
  publisher    = {{TU} Wien Academic Press},
  year         = {2025},
  doi          = {10.34727/2025/ISBN.978-3-85448-084-6\_6},
}