fm-weck 1.5.3__py3-none-any.whl → 1.6.0__py3-none-any.whl

fm_weck/resources/fm_tools/cetfuzz.yml

@@ -5,7 +5,7 @@ input_languages:
 project_url: https://gitlab.com/Sarathkrishnan/cetfuzz
 repository_url: https://gitlab.com/Sarathkrishnan/cetfuzz
 spdx_license_identifier: Apache-2.0
-benchexec_toolinfo_module: "cetfuzz"
+benchexec_toolinfo_module: benchexec.tools.cetfuzz
 fmtools_format_version: "2.0"
 fmtools_entry_maintainers:
   - Sarathkrishnan
@@ -13,15 +13,18 @@ fmtools_entry_maintainers:
   - m.raveendra.kumar
 
 maintainers:
-  - name: Sarath Krishnan G S
-    institution: College of Enigneeirng Trivandrum
+  - orcid: 0000-0000-0000-0000
+    name: Sarath Krishnan G S
+    institution: College of Engineering Trivandrum
     country: India
     url: https://gitlab.com/Sarathkrishnan
-  - name: Seth Shaji George
-    institution: College of Enigneeirng Trivandrum
+  - orcid: 0000-0000-0000-0000
+    name: Seth Shaji George
+    institution: College of Engineering Trivandrum
     country: India
     url: https://gitlab.com/sethshajigeorge
-  - name: Raveendra Kumar Medicherla
+  - orcid: 0000-0002-9162-4825
+    name: Raveendra Kumar Medicherla
     institution: Tata Consultancy Services
     country: India
     url: https://www.tcs.com/
@@ -44,6 +47,16 @@ versions:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    label:
+      - inactive
+    tool_version: "testcomp24"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     label:
@@ -68,3 +81,5 @@ techniques:
   - Algorithm Selection
 
 frameworks_solvers: []
+
+literature: []

fm_weck/resources/fm_tools/coastal.yml

@@ -21,11 +21,23 @@ versions:
   - version: "svcomp20"
     doi: 10.5281/zenodo.3679243
     benchexec_toolinfo_options: []
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages: []
     full_container_images:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp20"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:

fm_weck/resources/fm_tools/concurrentwitness2test.yml

@@ -3,6 +3,7 @@ name: ConcurrentWitness2Test
 description: |
   ConcurrentWitness2Test is a violation witness validator for concurrent software. 
   Taking both data-nondeterminism and interleaving-based nondeterminism into account, the tool aims to use the metadata described in the violation witnesses to synthesize an executable test harness.
+  Currently, CW2T does not use any sophisticated pre-transformation steps to manage incomplete witnesses, and it also does not support the full witness specification. For example, assumptions that aren't interpretable as single-value assignments of a nondeterministic funcion are ignored.
 input_languages:
   - C
 project_url: https://github.com/ftsrg/ConcurrentWitness2Test
@@ -26,6 +27,14 @@ maintainers:
     url: http://mit.bme.hu/~adamzsofi
 
 versions:
+  - version: "svcomp26"
+    benchexec_toolinfo_options: ["--witness", "${witness}"]
+    required_ubuntu_packages:
+      - python3
+      - gcc
+    doi: 10.5281/zenodo.17407869
+    base_container_images:
+      - docker.io/ubuntu:24.04
   - version: "svcomp25"
     benchexec_toolinfo_options: ["--witness", "${witness}"]
     required_ubuntu_packages:
@@ -39,8 +48,22 @@ versions:
 
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Validation of Violation Witnesses v1"
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0000-0003-2354-1750
+      name: Zsófia Ádám
+      institution: Budapest University of Technology and Economics
+      country: Hungary
+      url: http://mit.bme.hu/~adamzsofi
+    participants:
+      - name: Ádám, Zsófia
+        orcid: 0000-0003-2354-1750
+      - name: Bajczi, Levente
+        orcid: 0000-0002-6551-5860
   - competition: "SV-COMP 2025"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "svcomp25"
     jury_member:
       orcid: 0000-0003-2354-1750
@@ -49,7 +72,7 @@ competition_participations:
       country: Hungary
       url: http://mit.bme.hu/~adamzsofi
   - competition: "SV-COMP 2024"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "svcomp24"
     jury_member:
       orcid: 0000-0002-6551-5860

fm_weck/resources/fm_tools/cooperace.yml

@@ -1,5 +1,9 @@
 id: cooperace
 name: CoOpeRace
+description: |
+  CoOpeRace is a no-data-race meta-verifier with the goal to combine
+  and cross-validate detailed race warnings on real-world programs.
+  On SV-COMP we identify the highest-scoring portfolio of current verifiers.
 input_languages:
   - C
 project_url: https://github.com/sws-lab/cooperace
@@ -23,14 +27,49 @@ maintainers:
     url:
 
 versions:
+  - version: "svcomp26"
+    doi: 10.5281/zenodo.17719057
+    benchexec_toolinfo_options: []
+    required_ubuntu_packages:
+      - clang
+      - cpp
+      - lib32gcc-13-dev
+      - libc6-dev
+      - libc6-dev-i386
+      - libgcc-13-dev
+      - libgmp10
+      - libmpfr6
+      - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "svcomp25"
     doi: 10.5281/zenodo.14509733
     benchexec_toolinfo_options: []
     required_ubuntu_packages:
       - clang-14
       - llvm-14
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - meta_tool
+    tool_version: "svcomp26"
+    jury_member:
+      orcid: 0000-0003-4336-7980
+      name: Vesal Vojdani
+      institution: University of Tartu
+      country: Estonia
+      url:
+    participants:
+      - orcid: 0000-0003-4336-7980
+        name: Vesal Vojdani
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:

fm_weck/resources/fm_tools/coveritest.yml

@@ -26,6 +26,16 @@ maintainers:
     url: https://www.sosy-lab.org/people/jakobs/
 
 versions:
+  - version: "testcomp26"
+    doi: 10.5281/zenodo.17732590
+    benchexec_toolinfo_options: ['--benchmark', '--heap', '10000M', '--testcomp26', "--option", "log.consoleLevel=SEVERE", "--option", "parser.usePreprocessor=true"]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
   - version: "testcomp25"
     doi: 10.5281/zenodo.14203369
     benchexec_toolinfo_options: ['--benchmark', '--heap', '10000M', '--testcomp25', "--option", "log.consoleLevel=SEVERE"]
@@ -43,6 +53,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "Test-Comp 2026"
+    track: "Test Generation"
+    tool_version: "testcomp26"
+    jury_member:
+      orcid: 0000-0002-5890-4673
+      name: Marie-Christine Jakobs
+      institution: LMU Munich
+      country: Germany
+      url:
+    participants:
+      - orcid: 0000-0002-5890-4673
+        name: Marie-Christine Jakobs
   - competition: "Test-Comp 2025"
     track: "Test Generation"
     tool_version: "testcomp25"

fm_weck/resources/fm_tools/cpa-bam-bnb.yml

@@ -11,7 +11,8 @@ fmtools_entry_maintainers:
   - p.andrianov
 
 maintainers:
-  - name: Hors Concours
+  - orcid: 0000-0000-0000-0000
+    name: Hors Concours
     institution: --
     country: --
     url:
@@ -20,12 +21,24 @@ versions:
   - version: "svcomp23"
     doi: 10.5281/zenodo.10396208
     benchexec_toolinfo_options: ["-svcomp21-bam-bnb", "-disable-java-assertions", "-heap", "10000m"]
+    base_container_images:
+      - docker.io/ubuntu:22.04
     required_ubuntu_packages:
       - openjdk-11-jre-headless
     full_container_images:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp23"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -70,3 +83,5 @@ frameworks_solvers:
   - CPAchecker
   - JavaSMT
   - MathSAT
+
+literature: []

fm_weck/resources/fm_tools/cpa-bam-smg.yml

@@ -11,7 +11,8 @@ fmtools_entry_maintainers:
   - Druidos
 
 maintainers:
-  - name: Hors Concours
+  - orcid: 0000-0000-0000-0000
+    name: Hors Concours
     institution: --
     country: --
     url:
@@ -20,12 +21,25 @@ versions:
   - version: "svcomp22"
     doi: 10.5281/zenodo.10396261
     benchexec_toolinfo_options: ['-svcomp22-bam-smg', '-disable-java-assertions', '-heap', '10000m', '-setprop', 'counterexample.export.graphml=witness.graphml', '-setprop', 'cpa.arg.proofWitness=witness.graphml', '-setprop', 'termination.violation.witness=witness.graphml', '-setprop', 'counterexample.export.compressWitness=false', '-setprop', 'cpa.arg.compressWitness=false']
+    base_container_images:
+      - docker.io/ubuntu:20.04
     required_ubuntu_packages:
       - openjdk-11-jre-headless
     full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2022
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp22"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -63,3 +77,5 @@ frameworks_solvers:
   - CPAchecker
   - JavaSMT
   - MathSAT
+
+literature: []

fm_weck/resources/fm_tools/cpa-lockator.yml

@@ -11,7 +11,8 @@ fmtools_entry_maintainers:
   - p.andrianov
 
 maintainers:
-  - name: Hors Concours
+  - orcid: 0000-0000-0000-0000
+    name: Hors Concours
     institution: --
     country: --
     url:
@@ -20,12 +21,25 @@ versions:
   - version: "svcomp21"
     doi: 10.5281/zenodo.10396305
     benchexec_toolinfo_options: ["-svcomp21-lockator", "-disable-java-assertions", "-heap", "12000m"]
+    base_container_images:
+      - docker.io/ubuntu:20.04
     required_ubuntu_packages:
       - openjdk-11-jre-headless
     full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2021
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    label:
+      - inactive
+    tool_version: "svcomp21"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
     track: "Verification"
     label:
@@ -71,3 +85,5 @@ frameworks_solvers:
   - CPAchecker
   - JavaSMT
   - MathSAT
+
+literature: []

fm_weck/resources/fm_tools/cpa-witness2test.yml

@@ -48,8 +48,18 @@ versions:
       - openjdk-11-jre-headless
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Validation of Violation Witnesses v1"
+    label:
+      - inactive
+    tool_version: "2.3"
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url:
   - competition: "SV-COMP 2025"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     label:
       - inactive
     tool_version: "2.3"
@@ -59,7 +69,7 @@ competition_participations:
       country: --
       url:
   - competition: "SV-COMP 2024"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "2.3"
     jury_member:
       orcid: 0000-0003-0291-815X
@@ -68,7 +78,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/lemberger/
   - competition: SV-COMP 2023
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "2.2"
     jury_member:
       orcid: 0000-0002-4768-4054

fm_weck/resources/fm_tools/cpachecker.yml

@@ -7,6 +7,7 @@ description: |
   to check for software errors and to verify program properties.
 input_languages:
   - C
+  - SV-LIB
 project_url: https://cpachecker.sosy-lab.org
 repository_url: https://gitlab.com/sosy-lab/software/cpachecker
 spdx_license_identifier: Apache-2.0
@@ -30,6 +31,37 @@ maintainers:
     url: https://www.sosy-lab.org/people/wendler/
 
 versions:
+  - version: "4.2.2"
+    doi: 10.5281/zenodo.17777566
+    benchexec_toolinfo_options: ["--svcomp26", "--heap", "10000M", "--benchmark", "--timelimit", "900 s"]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+      - gcc-multilib
+      - libc6-dev
+    base_container_images:
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/10.5281/zenodo.18001984
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2026
+  - version: "4.2.2-validation-correctness"
+    doi: 10.5281/zenodo.17777566
+    benchexec_toolinfo_options: ["--witness", "${witness}", "--correctness-witness-validation", "--heap", "5000m", "--benchmark", "--option", "witness.checkProgramHash=false", "--option", "cpa.predicate.memoryAllocationsAlwaysSucceed=true"]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+      - gcc-multilib
+      - libc6-dev
+    base_container_images:
+      - docker.io/ubuntu:24.04
+  - version: "4.2.2-validation-violation"
+    doi: 10.5281/zenodo.17777566
+    benchexec_toolinfo_options: ["--witness", "${witness}", "--violation-witness-validation", "--heap", "5000m", "--benchmark", "--option", "witness.checkProgramHash=false", "--option", "cpa.predicate.memoryAllocationsAlwaysSucceed=true", "--option", "cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc", "--option", "cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc", "--option", "cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc", "--option", "cpa.smg.deallocationFunctions=free,kfree,kfree_const"]
+    required_ubuntu_packages:
+      - openjdk-21-jre-headless
+      - gcc-multilib
+      - libc6-dev
+    base_container_images:
+      - docker.io/ubuntu:24.04
+
   - version: "4.0"
     doi: 10.5281/zenodo.14203369
     benchexec_toolinfo_options: ["--svcomp25", "--heap", "10000M", "--benchmark", "--timelimit", "900 s"]
@@ -37,20 +69,27 @@ versions:
       - openjdk-17-jdk-headless
     base_container_images:
       - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
   - version: "4.0-validation-correctness"
     doi: 10.5281/zenodo.14203369
     benchexec_toolinfo_options: ["--witness", "${witness}", "--correctness-witness-validation", "--heap", "5000m", "--benchmark", "--option", "witness.checkProgramHash=false", "--option", "cpa.predicate.memoryAllocationsAlwaysSucceed=true"]
     required_ubuntu_packages:
       - openjdk-17-jdk-headless
     base_container_images:
-      - docker.io/ubuntu:22.04
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
   - version: "4.0-validation-violation"
     doi: 10.5281/zenodo.14203369
     benchexec_toolinfo_options: ["--witness", "${witness}", "--violation-witness-validation", "--heap", "5000m", "--benchmark", "--option", "witness.checkProgramHash=false", "--option", "cpa.predicate.memoryAllocationsAlwaysSucceed=true", "--option", "cpa.smg.memoryAllocationFunctions=malloc,__kmalloc,kmalloc,kzalloc,kzalloc_node,ldv_zalloc,ldv_malloc", "--option", "cpa.smg.arrayAllocationFunctions=calloc,kmalloc_array,kcalloc", "--option", "cpa.smg.zeroingMemoryAllocation=calloc,kzalloc,kcalloc,kzalloc_node,ldv_zalloc", "--option", "cpa.smg.deallocationFunctions=free,kfree,kfree_const"]
     required_ubuntu_packages:
       - openjdk-17-jdk-headless
     base_container_images:
-      - docker.io/ubuntu:22.04
+      - docker.io/ubuntu:24.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2025
+
   - version: "2.3.1"
     doi: 10.5281/zenodo.11074229
     benchexec_toolinfo_options: ["-svcomp24", "-heap", "10000M", "-benchmark", "-timelimit", "900 s"]
@@ -87,23 +126,122 @@ versions:
       - docker.io/ubuntu:22.04
     full_container_images:
       - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2024
+
   - version: "2.2"
     doi: 10.5281/zenodo.7700944
     benchexec_toolinfo_options: ["-svcomp23", "-heap", "10000M", "-benchmark", "-timelimit", "900 s"]
     required_ubuntu_packages:
       - openjdk-11-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:22.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2023
+
   - version: "svcomp22"
     url: https://gitlab.com/sosy-lab/sv-comp/archives-2022/-/raw/main/2022/cpachecker.zip
     benchexec_toolinfo_options: ["-svcomp22", "-heap", "10000M", "-benchmark", "-timelimit", "900 s"]
     required_ubuntu_packages:
       - openjdk-11-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:20.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2022
   - version: "2.1"
     doi: 10.5281/zenodo.5720557
     benchexec_toolinfo_options: ["-svcomp22", "-heap", "10000M", "-benchmark", "-timelimit", "900 s"]
     required_ubuntu_packages:
       - openjdk-11-jre-headless
+    base_container_images:
+      - docker.io/ubuntu:20.04
+    full_container_images:
+      - registry.gitlab.com/sosy-lab/benchmarking/competition-scripts/user:2022
 
 competition_participations:
+  - competition: "SV-COMP 2026"
+    track: "Verification"
+    tool_version: "4.2.2"
+    jury_member:
+      orcid: 0009-0008-7961-190X
+      name: Marek Jankola
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/jankola/
+    participants:
+      - orcid: 0000-0001-9116-1974
+        name: Daniel Baier
+      - orcid: 0000-0002-6551-5860
+        name: Levente Bajczi
+      - orcid: 0000-0003-4832-7662
+        name: Dirk Beyer
+      - orcid: 0009-0008-7961-190X
+        name: Marek Jankola
+      - orcid: 0000-0001-7365-5030
+        name: Matthias Kettl
+      - orcid: 0000-0003-0291-815X
+        name: Thomas Lemberger
+      - orcid: 0000-0002-8172-3184
+        name: Marian Lingsch-Rosenfeld
+      - orcid: 0000-0002-5139-341X
+        name: Philipp Wendler
+  - competition: "SV-COMP 2026"
+    track: "Validation of Correctness Witnesses v2"
+    tool_version: "4.2.2-validation-correctness"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+    participants:
+      - orcid: 0000-0003-4832-7662
+        name: Dirk Beyer
+      - orcid: 0009-0008-7961-190X
+        name: Marek Jankola
+      - orcid: 0000-0002-8172-3184
+        name: Marian Lingsch-Rosenfeld
+  - competition: "SV-COMP 2026"
+    track: "Validation of Correctness Witnesses v1"
+    tool_version: "4.0-validation-correctness"
+    label:
+      - inactive
+    jury_member:
+      name: Hors Concours
+      institution: --
+      country: --
+      url: --
+  - competition: "SV-COMP 2026"
+    track: "Validation of Violation Witnesses v1"
+    tool_version: "4.2.2-validation-violation"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+    participants:
+      - orcid: 0000-0003-4832-7662
+        name: Dirk Beyer
+      - orcid: 0009-0008-7961-190X
+        name: Marek Jankola
+      - orcid: 0000-0002-8172-3184
+        name: Marian Lingsch-Rosenfeld
+  - competition: "SV-COMP 2026"
+    track: "Validation of Violation Witnesses v2"
+    tool_version: "4.2.2-validation-violation"
+    jury_member:
+      orcid: 0000-0002-8172-3184
+      name: Marian Lingsch-Rosenfeld
+      institution: LMU Munich
+      country: Germany
+      url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+    participants:
+      - orcid: 0000-0003-4832-7662
+        name: Dirk Beyer
+      - orcid: 0009-0008-7961-190X
+        name: Marek Jankola
+      - orcid: 0000-0002-8172-3184
+        name: Marian Lingsch-Rosenfeld
+
   - competition: "SV-COMP 2025"
     track: "Verification"
     tool_version: "4.0"
@@ -114,7 +252,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
-    track: "Validation of Correctness Witnesses 1.0"
+    track: "Validation of Correctness Witnesses v1"
     tool_version: "4.0-validation-correctness"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -123,7 +261,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
-    track: "Validation of Correctness Witnesses 2.0"
+    track: "Validation of Correctness Witnesses v2"
     tool_version: "4.0-validation-correctness"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -132,7 +270,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "4.0-validation-violation"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -141,7 +279,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
   - competition: "SV-COMP 2025"
-    track: "Validation of Violation Witnesses 2.0"
+    track: "Validation of Violation Witnesses v2"
     tool_version: "4.0-validation-violation"
     jury_member:
       orcid: 0000-0002-8172-3184
@@ -149,6 +287,7 @@ competition_participations:
       institution: LMU Munich
       country: Germany
       url: https://www.sosy-lab.org/people/lingsch-rosenfeld/
+
   - competition: "SV-COMP 2024"
     track: "Verification"
     tool_version: "2.3"
@@ -159,7 +298,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/baier/
   - competition: "SV-COMP 2024"
-    track: "Validation of Correctness Witnesses 1.0"
+    track: "Validation of Correctness Witnesses v1"
     tool_version: "svcomp24-correctness"
     jury_member:
       orcid: 0000-0001-9116-1974
@@ -168,7 +307,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/baier/
   - competition: "SV-COMP 2024"
-    track: "Validation of Correctness Witnesses 2.0"
+    track: "Validation of Correctness Witnesses v2"
     tool_version: "svcomp24-correctness"
     jury_member:
       orcid: 0000-0001-9116-1974
@@ -177,7 +316,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/baier/
   - competition: "SV-COMP 2024"
-    track: "Validation of Violation Witnesses 1.0"
+    track: "Validation of Violation Witnesses v1"
     tool_version: "svcomp24-violation"
     jury_member:
       orcid: 0000-0001-9116-1974
@@ -186,7 +325,7 @@ competition_participations:
       country: Germany
       url: https://www.sosy-lab.org/people/baier/
   - competition: "SV-COMP 2024"
-    track: "Validation of Violation Witnesses 2.0"
+    track: "Validation of Violation Witnesses v2"
     tool_version: "svcomp24-violation"
     jury_member:
       orcid: 0000-0001-9116-1974
@@ -194,6 +333,7 @@ competition_participations:
       institution: LMU Munich
       country: Germany
       url: https://www.sosy-lab.org/people/baier/
+
   - competition: SV-COMP 2023
     track: "Verification"
     tool_version: "2.2"