Pith. sign in

Pith Integrity · Reference Change Desk · events-only

Reference changes

See every place this corpus cites a work that was later retracted, corrected, withdrawn, or placed under expression of concern: exact quote, event source, and what happened next. No model judges the citation.

A notice on this page means a citing paper's bibliography includes a work with a published scholarly-record event. It is not a judgment on the citing paper.

Scoped to citing paper 2501.16310 · clear

01Events with corpus notices

02One-hop citation notices (secondary index)

Correction Crossref Open
A Modular Program-Transformation Framework for Reducing Specifications to Reachability

cites Beyer, M · ref [19] · event 2021-03-03 · 2501.16310 · event page · DOI 10.1007/s10817-017-9432-6

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 …

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 …