---
res:
  bibo_abstract:
  - 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.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Cedric
      foaf_name: Richter, Cedric
      foaf_surname: Richter
  - foaf_Person:
      foaf_givenName: Marek
      foaf_name: Chalupa, Marek
      foaf_surname: Chalupa
      foaf_workInfoHomepage: http://www.librecat.org/personId=87e34708-d6c6-11ec-9f5b-9391e7be2463
  - foaf_Person:
      foaf_givenName: Marie Christine
      foaf_name: Jakobs, Marie Christine
      foaf_surname: Jakobs
  - foaf_Person:
      foaf_givenName: Heike
      foaf_name: Wehrheim, Heike
      foaf_surname: Wehrheim
  bibo_doi: 10.18420/se2026_45
  bibo_volume: P-377
  dct_date: 2026^xs_gYear
  dct_isPartOf:
  - http://id.crossref.org/issn/1617-5468
  dct_language: eng
  dct_publisher: Gesellschaft für Informatik@
  dct_subject:
  - Software Verification
  - Cooperation
  - Program Decomposition
  dct_title: Off-the-Shelf cooperative software verification by splitting programs
    dynamically@
...