Recoverable Identifier

arXiv:2605.21385 · detector doi_compliance · incontrovertible · 2026-05-21 03:03:02.121176+00:00

advisory doi_compliance recoverable_identifier

DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-642-17511-4\_20) 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

Leino, K.R.M.: Dafny: An automatic program verifier for functional correctness. In: Clarke, E.M., Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, April 25-May 1, 2010, Revised Selected Papers. Lecture Notes in Computer Science, vol. 6355, pp. 348–370. Springer (2010). https://doi.org/10.1007/978-3-642-17511- 4“˙20,https://doi.org/10.1007/978-3-642-17511-4\_20

Evidence payload

{
  "printed_excerpt": "Leino, K.R.M.: Dafny: An automatic program verifier for functional correctness. In: Clarke, E.M., Voronkov, A. (eds.) Logic for Programming, Artificial Intelligence, and Reasoning - 16th International Conference, LPAR-16, Dakar, Senegal, Ap",
  "reconstructed_doi": "10.1007/978-3-642-17511-4\\_20",
  "ref_index": 24,
  "resolved_title": null,
  "verdict_class": "incontrovertible"
}