SoSy-Lab Software Collection
Published December 24, 2022 | Version svcomp23
Software Open

CoVeriTeam Verifier - Algorithm Selection and Parallel Portfolio (SV-COMP 2023)

Authors/Creators

  • 1. ROR icon Ludwig-Maximilians-Universität München
  • 2. ROR icon Carl von Ossietzky Universität Oldenburg

Contributors

Contact person:

  • 1. ROR icon Ludwig-Maximilians-Universität München

Description

Version from SV-COMP 2023.

Files

coveriteam-verifier-algo-selection.zip

Files (2.2 GB)

Name Size Download all
md5:27db957271137b26db9a3bca6c493205
2.2 GB Preview Download

Additional details

Related works

Is derived from
Publication: 10.1007/978-3-030-99429-7_3 (DOI)

Dates

Submitted
2022-12-24
SV-COMP 2023
Submitted
2023-12-16
SV-COMP 2024