Bubaak-SpLit: Split what you cannot verify (Competition contribution) LNCS Chalupa, Marek Richter, Cedric ddc:000 BUBAAK-SpLit is a tool for dynamically splitting verification tasks into parts that can then be analyzed in parallel. It is built on top of BUBAAK, a tool designed for running combinations of verifiers in parallel. In contrast to BUBAAK, that directly invokes verifiers on the inputs, BUBAAK-SpLit first starts by splitting the input program into multiple modified versions called program splits. During the splitting process, BUBAAK-SpLit utilizes a weak verifier (in our case symbolic execution with a short timelimit) to analyze each generated program split. If the weak verifier fails on a program split, we split this program split again and start the verification process again on the generated program splits. We run the splitting process until a predefined number of hard-to-verify program splits is generated or a splitting limit is reached. During the main verification phase, we run a combination of BUBAAK-LEE and SLOWBEAST in parallel on the remaining unsolved parts of the verification task. Springer Nature 2024 info:eu-repo/semantics/conferenceObject doc-type:conferenceObject text http://purl.org/coar/resource_type/c_5794 https://research-explorer.ista.ac.at/record/15333 https://research-explorer.ista.ac.at/download/15333/15347 Chalupa M, Richter C. Bubaak-SpLit: Split what you cannot verify (Competition contribution). In: <i>30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems</i>. Vol 14572. Springer Nature; 2024:353–358. doi:<a href="https://doi.org/10.1007/978-3-031-57256-2_20">10.1007/978-3-031-57256-2_20</a> eng info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-57256-2_20 info:eu-repo/semantics/altIdentifier/issn/0302-9743 info:eu-repo/semantics/altIdentifier/e-issn/1611-3349 info:eu-repo/semantics/altIdentifier/isbn/9783031572555 info:eu-repo/semantics/altIdentifier/e-isbn/9783031572562 info:eu-repo/semantics/altIdentifier/wos/001284187100020 info:eu-repo/semantics/openAccess