Citation notice #9949 · 2026-08-12 18:18:04.277141+00:00

Application of AI to formal methods - an analysis of current trends

Correction Crossref Open

cites International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0, which carries a correction notice dated 2023-08-14. One-hop deterministic notice: the citation edge exists in the Pith bibliography graph; no model judged whether the citation was load-bearing.

This is not a judgment on the citing paper.

Citing paper Event page Original DOI Notice DOI File a formal challenge All reference changes

01Evidence

Raw extraction · bibliography line · bibliography index 131

Scott, J., Niemetz, A., Preiner, M., Nejati, S., Ganesh, V.: Algorithm selection for SMT. International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0

02Event

Type: Correction
Source: Crossref
Original DOI: 10.1007/s10009-023-00696-0
Notice DOI: 10.1007/s10009-023-00714-1
Date: 2023-08-14
Title: Publisher Correction: Algorithm selection for SMT
Reasons: ['Correction']
Work: International Journal on Software Tools for Technology Transfer 25, 219–239 (2023) https://doi.org/10.1007/s10009-023-00696-0 (2023)

Schema constants (for re-runners): correction · crossref

03Dispute this notice

If this citation does not depend on the flagged claim, or the event is wrong, say so. Disputes are public. For a signed challenge against the paper itself, use the formal challenge form.