Recoverable Identifier

arXiv:2605.16820 · detector doi_compliance · incontrovertible · 2026-05-19 20:00:51.596833+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.34727/2025/ISBN.978-3-85448-084-66) was visible in the surrounding text but could not be confirmed against doi.org as printed.

Paper page Integrity report arXiv Try DOI

Evidence text

Biere, A., Froleyks, N., Preiner, M.: Hardware model checking competition 2025. In: Irfan, A., Kaufmann, D. (eds.) Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, Octo- ber 6-10, 2025. TU Wien Academic Press (2025). https://doi.org/10.34727/2025/ ISBN.978-3-85448-084-6 6

Evidence payload

{
  "printed_excerpt": "Biere, A., Froleyks, N., Preiner, M.: Hardware model checking competition 2025. In: Irfan, A., Kaufmann, D. (eds.) Proceedings of the 25th Conference on Formal Methods in Computer-Aided Design, FMCAD 2025, Menlo Park, CA, USA, Octo- ber 6-1",
  "reconstructed_doi": "10.34727/2025/ISBN.978-3-85448-084-66",
  "ref_index": 11,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}