[{"has_accepted_license":"1","publication_status":"published","file":[{"file_name":"2026_LNI_Richter.pdf","file_id":"23170","access_level":"open_access","creator":"dernst","date_created":"2026-10-19T08:39:37Z","success":1,"date_updated":"2026-10-19T08:39:37Z","content_type":"application/pdf","checksum":"3371c63711ed26efa41744834d337d28","file_size":147208,"relation":"main_file"}],"publisher":"Gesellschaft für Informatik","month":"03","_id":"22622","publication_identifier":{"eissn":["1617-5468"]},"date_created":"2026-08-02T22:01:54Z","OA_type":"hybrid","abstract":[{"lang":"eng","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."}],"year":"2026","language":[{"iso":"eng"}],"status":"public","date_published":"2026-03-01T00:00:00Z","department":[{"_id":"ToHe"}],"scopus_import":"1","supplementarymaterial":"no","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)"},"fulldoi":"https://doi.org/10.18420/se2026_45","alternative_title":["Lecture Notes in Informatics"],"date_updated":"2026-10-19T08:49:32Z","das_tickbox":"1","oa_version":"Published Version","researchdata_availability":"yes","OA_place":"publisher","file_date_updated":"2026-10-19T08:39:37Z","article_processing_charge":"No","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","conference":{"start_date":"2026-02-23","name":"SE: Software Engineering","location":"Bonn, Switzerland","end_date":"2026-02-27"},"type":"conference","author":[{"full_name":"Richter, Cedric","last_name":"Richter","first_name":"Cedric"},{"first_name":"Marek","last_name":"Chalupa","id":"87e34708-d6c6-11ec-9f5b-9391e7be2463","full_name":"Chalupa, Marek"},{"first_name":"Marie Christine","last_name":"Jakobs","full_name":"Jakobs, Marie Christine"},{"last_name":"Wehrheim","first_name":"Heike","full_name":"Wehrheim, Heike"}],"title":"Off-the-Shelf cooperative software verification by splitting programs dynamically","publication":"Software Engineering 2026","volume":"P-377","ddc":["000"],"day":"01","page":"41-42","citation":{"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.","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>","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>","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.","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>.","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."},"keyword":["Software Verification","Cooperation","Program Decomposition"],"license":"https://creativecommons.org/licenses/by-sa/4.0/","doi":"10.18420/se2026_45","oa":1,"quality_controlled":"1","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."}]