Reference change · 10.1007/s10817-017-9432-6

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.

01One-hop citing occurrences

Correction Open

A Modular Program-Transformation Framework for Reducing Specifications to Reachability

ref [19] · 2501.16310 · notice #9432 · dispute

Raw extraction · citation context

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

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.