{"schema":"pith.reference-change-event.v1","doi":"10.1007/s10817-017-9432-6","canonical_url":"https://pith.science/event/10.1007/s10817-017-9432-6","json_url":"https://pith.science/event/10.1007/s10817-017-9432-6.json","not_a_judgment":"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.","primary":{"event_id":167854,"doi":"10.1007/s10817-017-9432-6","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2021-03-03","title":"Correction to: A Unifying View on SMT-Based Software Verification","work_title":"Beyer, M","work_doi":"10.1007/s10817-017-9432-6","work_arxiv_id":null,"notice_doi":"10.1007/s10817-020-09585-6","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/s10817-017-9432-6","json_href":"/event/10.1007/s10817-017-9432-6.json"},"events":[{"event_id":167854,"doi":"10.1007/s10817-017-9432-6","event_type":"correction","event_type_label":"Correction","source":"crossref","source_label":"Crossref","event_date":"2021-03-03","title":"Correction to: A Unifying View on SMT-Based Software Verification","work_title":"Beyer, M","work_doi":"10.1007/s10817-017-9432-6","work_arxiv_id":null,"notice_doi":"10.1007/s10817-020-09585-6","flag_count":0,"flags_open":0,"flags_disputed":0,"latest_flag_at":null,"human_href":"/event/10.1007/s10817-017-9432-6","json_href":"/event/10.1007/s10817-017-9432-6.json"}],"flags":[{"id":9432,"status":"open","status_label":"Open","citing_arxiv_id":"2501.16310","citing_title":"A Modular Program-Transformation Framework for Reducing Specifications to Reachability","ref_index":19,"evidence_raw":"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.","evidence_cleaned":"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","evidence_source_label":"citation context","event_type":"correction","event_type_label":"Correction","source_label":"Crossref","event_date":"2021-03-03","work_title":"Beyer, M","work_doi":"10.1007/s10817-017-9432-6","event_doi":"10.1007/s10817-017-9432-6","flag_href":"/flags/9432","event_href":"/event/10.1007/s10817-017-9432-6","paper_href":"/paper/2501.16310","created_at":"2026-08-10T18:17:55.760050Z","dispute_note":null,"disputed_at":null,"disputed_by":null}],"flag_count":1,"flags_open":1,"flags_disputed":0,"desk_url":"https://pith.science/flags"}