Reference change · event page
Reference changes · DOI
Published notice on a work cited in the Pith corpus. Exact quotes below. No model judges whether any citation was load-bearing.
This page records that a citing paper's bibliography includes a work with a published notice. It is not a judgment on the citing paper.
ref [219] · 2607.28551 · notice #7926 · dispute
Raw extraction · bibliography line
Tsai, M.H., Fu, Y .F., Liu, J., Shi, X., Wang, B.Y ., Yang, B.Y .: CoqCryptoLine: A verified model checker with certified results. In: C. Enea, A. Lal (eds.) CA V 2023, Part II,LNCS, vol. 13965, pp. 227–240. Springer (2023). URL https://doi.org/10.1007/978-3-031-37703-7_11
Status lifecycle on notices: open → disputed → (response attached on the notice page). Repaired counts matter as much as open counts. There is no “safe,” “invalid,” or “resolved” badge.