Marian Lingsch Rosenfeld

Marieke Huisman

Lukas Armborst

Dataset, March, 2025

Reproduction Package for SPIN 2025 Submission 'A Modular Program-Transformation Framework for Reducing Specifications to Reachability'.

[BibT_eX]

[DOI]

Dataset, February, 2025

Reproduction Package for SPIN 2025 Submission 'Auto-SV Annotator: Integrating Deductive and Automatic Software Verification'.

[BibT_eX]

[DOI]

Marieke Huisman

Lukas Armborst

Dataset, February, 2025

A Modular Program-Transformation Framework for Reducing Specifications to Reachability.

[BibT_eX]

[DOI]

Tian Xia

Xiyue Zheng

CoRR, January, 2025

Correctness Witnesses with Function Contracts.

[BibT_eX]

[DOI]

Matthias Heizmann

Dominik Klumpp

Frank Schüssele

CoRR, January, 2025

CPAchecker 4.0 as Witness Validator - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

AutoSV-Annotator: Integrating Deductive and Automatic Software Verification.

[BibT_eX]

[DOI]

Lukas Armborst

Marieke Huisman

Proceedings of the Formal Methods for Industrial Critical Systems, 2025

Towards Automatic Structured Inference of Module Abstractions.

[BibT_eX]

[DOI]

Gidon Ernst

Proceedings of the Go Where the Bugs Are, 2025

2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, December, 2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, December, 2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

WitnessMap (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

WitnessMap (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

MetaVal++ (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

MetaVal (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

CPAchecker (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

CPAchecker (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

CPAchecker (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

CPAchecker (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, November, 2024

Reproduction Package for TACAS 2024 Submission 'Synthesis of Precise Error Conditions'.

[BibT_eX]

[DOI]

Stefan Winter

Dataset, November, 2024

WitnessMap (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

MetaVal (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

WitnessLint (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

MetaVal++ (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

MetaVal++ (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

MetaVal++ (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

WitnessLint (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

MetaVal (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

LIV (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

CPAchecker (SV-COMP25 submission).

[BibT_eX]

[DOI]

Dataset, October, 2024

Reproduction Package for TACAS 2024 Submission 'Synthesis of Precise Error Conditions'.

[BibT_eX]

[DOI]

Stefan Winter

Dataset, October, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'.

[BibT_eX]

[DOI]

Daniel Beier

Dataset, September, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker 3.0: Tutorial and User Guide'.

[BibT_eX]

[DOI]

Daniel Beier

Dataset, July, 2024

Reproduction Package for FM 2024 Article 'Software Verification with CPAchecker: Tutorial and User Guide'.

[BibT_eX]

[DOI]

Daniel Beier

Dataset, June, 2024

Reproduction Package for SPIN 2024 Article 'Verification Witnesses Version 2'.

[BibT_eX]

[DOI]

Dataset, March, 2024

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'.

[BibT_eX]

[DOI]

Dataset, February, 2024

Reproduction Package for SPIN 2024 Submission 'Verification Witnesses Version 2'.

[BibT_eX]

[DOI]

Dataset, January, 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide (Extended Version).

[BibT_eX]

[DOI]

CoRR, 2024

SEGym: Optimizing Large Language Model Assisted Software Engineering Agents with Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the Bridging the Gap Between AI and Reality, 2024

CPAchecker 2.3 with Strategy Selection - (Competition Contribution).

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

Software Verification Witnesses 2.0.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 30th International Symposium, 2024

P3: A Dataset of Partial Program Patches.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Conference on Mining Software Repositories, 2024

Software Verification with CPAchecker 3.0: Tutorial and User Guide.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Benchmark Set for Program Repair Based on Partial Fixes, Dataset.

[BibT_eX]

[DOI]

Dataset, December, 2023

Benchmark Set for Program Repair Based on Partial Fixes.

[BibT_eX]

[DOI]

Dataset, December, 2023

Reproduction Package for MSR 2024 Article 'P3: A Dataset of Partial Program Fixes'.

[BibT_eX]

[DOI]

Dataset, December, 2023

MetaVal: Witness Validation via Verification (SV-COMP24).

[BibT_eX]

[DOI]