---
OA_place: repository
OA_type: green
_id: '23183'
abstract:
- lang: eng
  text: "Cooperative verification is gaining momentum in recent years.  The usual
    setup in cooperative verification is that verifier A is run with some pre-defined
    resources, and if it is not able to verify the program, the verification task
    is passed to verifier B together with information learned about the program by
    the verifier A, then the chain can continue to verifier C, and so on. This scheme,
    which is employed by most of cooperative verification tools, is static and sequential:
    tools run one after another in a fixed pre-defined order and fixed parameters
    and resource limits.\r\n\r\nBubaak is a portfolio-based program analysis tool
    for verification of C programs that run multiple program verifiers in parallel
    and allows to exchange verification artifacts between them on run-time. Moreover,
    the new version of Bubaak allows to combine sequential and parallel portfolios
    into workflows. In brief, one or more verification tasks are initially started
    and each of the tasks, when it is done (e.g., because of hitting a time limit
    or finishing its job), can rewrite itself into a new task or generate a set of
    new verification tasks. This all happens dynamically based on the result of the
    task that finished.\r\n\r\nThis artifact contains Bubaak and Bubaak-SpLit (which
    is a specific configuration for Bubaak) that competed in SV-COMP 2024."
article_processing_charge: No
author:
- first_name: Marek
  full_name: Chalupa, Marek
  last_name: Chalupa
citation:
  ama: Chalupa M. Bubaak at SV-COMP 2024. 2023. doi:<a href="https://doi.org/10.5281/zenodo.10065866">10.5281/zenodo.10065866</a>
  apa: Chalupa, M. (2023). Bubaak at SV-COMP 2024. Zenodo. <a href="https://doi.org/10.5281/zenodo.10065866">https://doi.org/10.5281/zenodo.10065866</a>
  chicago: Chalupa, Marek. “Bubaak at SV-COMP 2024.” Zenodo, 2023. <a href="https://doi.org/10.5281/zenodo.10065866">https://doi.org/10.5281/zenodo.10065866</a>.
  ieee: M. Chalupa, “Bubaak at SV-COMP 2024.” Zenodo, 2023.
  ista: Chalupa M. 2023. Bubaak at SV-COMP 2024, Zenodo, <a href="https://doi.org/10.5281/zenodo.10065866">10.5281/zenodo.10065866</a>.
  mla: Chalupa, Marek. <i>Bubaak at SV-COMP 2024</i>. Zenodo, 2023, doi:<a href="https://doi.org/10.5281/zenodo.10065866">10.5281/zenodo.10065866</a>.
  short: M. Chalupa, (2023).
contributor:
- contributor_type: project_member
  first_name: Cedric
  last_name: Richter
date_created: 2026-10-21T12:12:11Z
date_published: 2023-11-24T00:00:00Z
date_updated: 2026-10-21T12:12:16Z
day: '24'
ddc:
- '000'
department:
- _id: ToHe
doi: 10.5281/zenodo.10065866
fulldoi: https://doi.org/10.5281/zenodo.10065866
main_file_link:
- open_access: '1'
  url: https://doi.org/10.5281/zenodo.10065866
month: '11'
oa: 1
oa_version: None
publisher: Zenodo
related_material:
  record:
  - id: '15333'
    relation: used_in_publication
    status: public
status: public
title: Bubaak at SV-COMP 2024
type: research_data_reference
user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345
year: '2023'
...