Citation notice #9432 · 2026-08-10 18:17:55.760050+00:00

A Modular Program-Transformation Framework for Reducing Specifications to Reachability

cites Beyer, M, which carries a correction notice dated 2021-03-03. 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 19

Beyer, M. Dangl, D. Dietsch, M. Heizmann, T. Lemberger, and M. Tautschnig. 2022. Verification Witnesses.ACM Trans. Softw. Eng. Methodol. 31, 4 (2022), 57:1-57:69. https://doi.org/10.1145/3477579 [19] D. Beyer, M. Dangl, and P. Wendler. 2018. A Unifying View on SMT-Based Software Verification. J. Autom. Reasoning 60, 3 (2018), 299-335. https://doi.org/10.1007/s10817-017-9432-6 [20] D. Beyer, S. Gulwani, and D. Schmidt. 2018. Combining Model Checking and Data-Flow Analysis. In Handbook of Model Checking. Springer, 493-540. https://doi.org/10.1007/978-3-319-10575-8_16 [21] D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar. 2005. Checking Memory Safety with Blast. In Proc. FASE (LNCS 3442). Springer, 2-18. https://doi.org/10.

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

Beyer, M. Dangl, D. Dietsch, M. Heizmann, T. Lemberger, and M. Tautschnig. 2022. Verification Witnesses.ACM Trans. Softw. Eng. Methodol. 31, 4 (2022), 57:1-57:69. https://doi.org/10.1145/3477579 [19] D. Beyer, M. Dangl, and P. Wendler. 2018. A Unifying View on SMT-Based Software Verification. J. Autom. Reasoning 60, 3 (2018), 299-335. https://doi.org/10.1007/s10817-017-9432-6 [20] D. Beyer, S. Gulwani, and D. Schmidt. 2018. Combining Model Checking and Data-Flow Analysis. In Handbook of Model Checking. Springer, 493-540. https://doi.org/10.1007/978-3-319-10575-8_16 [21] D. Beyer, T. A. Henzinger, R. Jhala, and R. Majumdar. 2005. Checking Memory Safety with Blast. In Proc. FASE (LNCS 3442). Springer, 2-18. https://doi.org/10

02Event

Type

Correction

Source

Crossref

Original DOI

10.1007/s10817-017-9432-6

Notice DOI

10.1007/s10817-020-09585-6

Date

2021-03-03

Title

Correction to: A Unifying View on SMT-Based Software Verification

Reasons

['Correction']

Work

Beyer, M (2018)

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.