Citation notice #8438 · 2026-08-05 00:18:39.400129+00:00

Mechanized Metatheory of Forward Reasoning for End-to-End Linearizability Proofs

cites 3 Daphna Amit, Noam Rinetzky, Thomas W, which carries a correction notice dated 2021-05-31. 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 · citation context · bibliography index 2017

The existence of refinement mappings.Theoretical Computer Science, 82(2):253-284, 1991. 2 Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík, Bengt Jonsson, and Ahmed Rezine. An integrated specification and verification technique for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, 19(5):549-563, Oct 2017. doi:10.1007/s10009-016-0415-4. 3 Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, and Eran Yahav. Comparison under abstraction for verifying linearizability. In Werner Damm and Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, volume 4590 ofLecture Notes in Computer Science, pages 477-490.

Parser render (TeX stripped for reading; raw above is the evidence)

The existence of refinement mappings.Theoretical Computer Science, 82(2):253-284, 1991. 2 Parosh Aziz Abdulla, Frédéric Haziza, Lukáš Holík, Bengt Jonsson, and Ahmed Rezine. An integrated specification and verification technique for highly concurrent data structures. International Journal on Software Tools for Technology Transfer, 19(5):549-563, Oct 2017. doi:10.1007/s10009-016-0415-4. 3 Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, and Eran Yahav. Comparison under abstraction for verifying linearizability. In Werner Damm and Holger Hermanns, editors, Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, volume 4590 ofLecture Notes in Computer Science, pages 477-490

02Event

Type

Correction

Source

Crossref

Original DOI

10.1007/s10009-016-0415-4

Notice DOI

10.1007/s10009-021-00629-9

Date

2021-05-31

Title

Correction to: An integrated specification and verification technique for highly concurrent data structures

Reasons

['Correction']

Work

3 Daphna Amit, Noam Rinetzky, Thomas W (2007) International Journal on Software Tools for Technology Transfer

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.