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