[{"supplementarymaterial":"no","fulldoi":"https://doi.org/10.18420/se2026_45","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-sa/4.0/legalcode","image":"/images/cc_by_sa.png","name":"Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0)","short":"CC BY-SA (4.0)"},"status":"public","language":[{"iso":"eng"}],"scopus_import":"1","department":[{"_id":"ToHe"}],"date_published":"2026-03-01T00:00:00Z","publication_identifier":{"eissn":["1617-5468"]},"year":"2026","OA_type":"hybrid","date_created":"2026-08-02T22:01:54Z","abstract":[{"text":"Cooperative software verification aims at improving the effectiveness and efficiency of software verification by enabling multiple verification tools to work together. Existing cooperative verification schemes, however, typically require specialized interfaces or tight integration, limiting their practical applicability. In our International Conference on Software Engineering (ICSE) 2025 publication, we introduce dynamic program splitting – a novel approach that enables cooperation between off-the-shelf verification tools without requiring any modifications. The key idea is to probe verification tools on a given verification task under a time limit and split tasks dynamically that cannot be verified under the given time constraints. The process continues recursively, incrementally identifying program parts that are particularly hard for the given verifier. The remaining unverified parts are provided to a second verifier, allowing to leverage the complementary strengths of different tools. Our evaluation on SV-COMP benchmarks demonstrates that cooperation through dynamic program splitting enables the verification of tasks that none of the individual verifiers can solve on their own.","lang":"eng"}],"file":[{"file_size":147208,"checksum":"3371c63711ed26efa41744834d337d28","relation":"main_file","date_updated":"2026-10-19T08:39:37Z","content_type":"application/pdf","creator":"dernst","success":1,"date_created":"2026-10-19T08:39:37Z","file_name":"2026_LNI_Richter.pdf","file_id":"23170","access_level":"open_access"}],"publisher":"Gesellschaft für Informatik","has_accepted_license":"1","publication_status":"published","_id":"22622","month":"03","keyword":["Software Verification","Cooperation","Program Decomposition"],"license":"https://creativecommons.org/licenses/by-sa/4.0/","doi":"10.18420/se2026_45","dataavailabilitystatement":"All our implementations and data are archived and available at Zenodo5\r\nand are evaluated as an artifact in the ICSE 2025 artifact evaluation. Furthermore, our\r\napproach is integrated into the software verifier Bubaak [CR25] which we submitted as\r\npart of our contribution to SV-COMP 2025.","quality_controlled":"1","oa":1,"page":"41-42","day":"01","citation":{"ieee":"C. Richter, M. Chalupa, M. C. Jakobs, and H. Wehrheim, “Off-the-Shelf cooperative software verification by splitting programs dynamically,” in <i>Software Engineering 2026</i>, Bonn, Switzerland, 2026, vol. P-377, pp. 41–42.","chicago":"Richter, Cedric, Marek Chalupa, Marie Christine Jakobs, and Heike Wehrheim. “Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically.” In <i>Software Engineering 2026</i>, P-377:41–42. Gesellschaft für Informatik, 2026. <a href=\"https://doi.org/10.18420/se2026_45\">https://doi.org/10.18420/se2026_45</a>.","short":"C. Richter, M. Chalupa, M.C. Jakobs, H. Wehrheim, in:, Software Engineering 2026, Gesellschaft für Informatik, 2026, pp. 41–42.","mla":"Richter, Cedric, et al. “Off-the-Shelf Cooperative Software Verification by Splitting Programs Dynamically.” <i>Software Engineering 2026</i>, vol. P-377, Gesellschaft für Informatik, 2026, pp. 41–42, doi:<a href=\"https://doi.org/10.18420/se2026_45\">10.18420/se2026_45</a>.","ista":"Richter C, Chalupa M, Jakobs MC, Wehrheim H. 2026. Off-the-Shelf cooperative software verification by splitting programs dynamically. Software Engineering 2026. SE: Software Engineering, Lecture Notes in Informatics, vol. P-377, 41–42.","apa":"Richter, C., Chalupa, M., Jakobs, M. C., &#38; Wehrheim, H. (2026). Off-the-Shelf cooperative software verification by splitting programs dynamically. In <i>Software Engineering 2026</i> (Vol. P-377, pp. 41–42). Bonn, Switzerland: Gesellschaft für Informatik. <a href=\"https://doi.org/10.18420/se2026_45\">https://doi.org/10.18420/se2026_45</a>","ama":"Richter C, Chalupa M, Jakobs MC, Wehrheim H. Off-the-Shelf cooperative software verification by splitting programs dynamically. In: <i>Software Engineering 2026</i>. Vol P-377. Gesellschaft für Informatik; 2026:41-42. doi:<a href=\"https://doi.org/10.18420/se2026_45\">10.18420/se2026_45</a>"},"type":"conference","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"location":"Bonn, Switzerland","end_date":"2026-02-27","start_date":"2026-02-23","name":"SE: Software Engineering"},"title":"Off-the-Shelf cooperative software verification by splitting programs dynamically","author":[{"first_name":"Cedric","last_name":"Richter","full_name":"Richter, Cedric"},{"full_name":"Chalupa, Marek","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","first_name":"Marek","last_name":"Chalupa"},{"first_name":"Marie Christine","last_name":"Jakobs","full_name":"Jakobs, Marie Christine"},{"first_name":"Heike","last_name":"Wehrheim","full_name":"Wehrheim, Heike"}],"article_processing_charge":"No","ddc":["000"],"publication":"Software Engineering 2026","volume":"P-377","oa_version":"Published Version","alternative_title":["Lecture Notes in Informatics"],"date_updated":"2026-10-19T08:49:32Z","das_tickbox":"1","OA_place":"publisher","file_date_updated":"2026-10-19T08:39:37Z","researchdata_availability":"yes"}]