MetaVal: Witness Validation via Verification. - Dirk Beyer 001; Martin Spiessl (CAV (2), 2020)

Tool Package for Article 'MetaVal: Witness Validation via Verification'. - Dirk Beyer 001; Martin Spiessl (Zenodo, 2020)

Reproduction Package (Virtual Machine) for CAV 2020 Article 'MetaVal: Witness Validation via Verification'. - Dirk Beyer 001; Martin Spiessl (Zenodo, 2020)

A Unifying Approach for Control-Flow-Based Loop Abstraction. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (SEFM, 2022)

Cooperation Between Automatic and Interactive Software Verifiers. - Dirk Beyer 001; Martin Spiessl; Sven Umbricht (SEFM, 2022)

The Static Analyzer Frama-C in SV-COMP (Competition Contribution). - Dirk Beyer 001; Martin Spiessl (TACAS (2), 2022)

Reproduction Package for SEFM 2022 Article 'A Unifying Approach for Control-Flow-Based Loop Abstraction'. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (Zenodo, 2022)

Reproduction Package for SEFM 2022 Article 'Cooperation between Automatic and Interactive Software Verifiers'. - Dirk Beyer 001; Martin Spiessl; Sven Umbricht (Zenodo, 2022)

cegar-pt: A Tool for Abstraction by Program Transformation. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (ASE, 2023)

LIV: Loop-Invariant Validation Using Straight-Line Programs. - Dirk Beyer 001; Martin Spiessl (ASE, 2023)

Reproduction Package for ASE 2023 submission 'LIV: Invariant Validation using Straight-Line Programs'. - Dirk Beyer 001; Martin Spiessl (Zenodo, 2023)

Reproduction Package for ASE 2023 Article 'LIV: Invariant Validation using Straight-Line Programs'. - Dirk Beyer 001; Martin Spiessl (Zenodo, 2023)

Reproduction Package for ASE 2023 Article 'CEGAR-PT: A Tool for Abstraction by Program Transformation'. - Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl (Zenodo, 2023)

Reproduction Package for FSE 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2023)

MetaVal: Witness Validation via Verification (SV-COMP24). - Marian Lingsch Rosenfeld; Martin Spiessl; Dirk Beyer 001 (Zenodo, 2023)

Software Verification Witnesses 2.0. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (SPIN, 2024)

CPAchecker 2.3 with Strategy Selection - (Competition Contribution). - Daniel Baier; Dirk Beyer 001; Po-Chun Chien; Marek Jankola; Matthias Kettl; Nian-Ze Lee; Thomas Lemberger 002; Marian Lingsch Rosenfeld; Martin Spiessl; Henrik Wachowitz; Philipp Wendler (TACAS (3), 2024)

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)

Reproduction Package for SPIN 2024 Article 'Verification Witnesses Version 2'. - Paulína Ayaziová; Dirk Beyer 001; Marian Lingsch Rosenfeld; Martin Spiessl; Jan Strejcek (Zenodo, 2024)