Unresolvable Identifier

arXiv:2605.23022 · detector doi_compliance · cross_source · 2026-05-25 05:20:08.493970+00:00

critical doi_compliance unresolvable_identifier

Identifier '10.5555/1939141.1939161' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.

Paper page Integrity report arXiv Try DOI

Evidence text

K. Rustan M. Leino. 2010. Dafny: An Automatic Program Verifier for Functional Correctness. InProceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(Dakar, Senegal)(LPAR’10). Springer-Verlag, Berlin, Heidelberg, 348–370. doi:10.5555/1939141.1939161

Evidence payload

{
  "arxiv_id": null,
  "checked_sources": [
    "crossref_by_doi",
    "openalex_by_doi",
    "doi_org_head"
  ],
  "doi": "10.5555/1939141.1939161",
  "raw_excerpt": "K. Rustan M. Leino. 2010. Dafny: An Automatic Program Verifier for Functional Correctness. InProceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(Dakar, Senegal)(LPAR\u201910). Springer-Verlag, Berlin, Heidelberg, 348\u2013370. doi:10.5555/1939141.1939161",
  "ref_index": 51,
  "verdict_class": "cross_source"
}