Saved in:
| Main Authors: | , , , , , , |
|---|---|
| Format: | Recurso digital |
| Language: | English |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.17264464 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866902144386334720 |
|---|---|
| author | Ádám, Zsófia Ayaziová, Paulína Bajczi, Levente Beyer, Dirk Jankola, Marek Lingsch-Rosenfeld, Marian Strejček, Jan |
| author_facet | Ádám, Zsófia Ayaziová, Paulína Bajczi, Levente Beyer, Dirk Jankola, Marek Lingsch-Rosenfeld, Marian Strejček, Jan |
| contents | <h3>Non-termination witnesses in witness format 2.1 for programs Ex02.c and nonterminating-loop.c.</h3> <p>These witnesses were contributed as part of the following research paper:</p> <p>Non-termination Witnesses and Their Validation.<br>by Zs. Ádám, P. Ayaziová, L. Bajczi, D. Beyer, M. Jankola, M. Lingsch-Rosenfeld, and J. Strejček.<br>Proc. ASE. IEEE (2025).</p> <p>Also available in the SV-Benchmarks repository: <a href="https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1634">https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1634</a></p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_17264464 |
| institution | Zenodo |
| language | eng |
| publishDate | 2025 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation' Ádám, Zsófia Ayaziová, Paulína Bajczi, Levente Beyer, Dirk Jankola, Marek Lingsch-Rosenfeld, Marian Strejček, Jan <h3>Non-termination witnesses in witness format 2.1 for programs Ex02.c and nonterminating-loop.c.</h3> <p>These witnesses were contributed as part of the following research paper:</p> <p>Non-termination Witnesses and Their Validation.<br>by Zs. Ádám, P. Ayaziová, L. Bajczi, D. Beyer, M. Jankola, M. Lingsch-Rosenfeld, and J. Strejček.<br>Proc. ASE. IEEE (2025).</p> <p>Also available in the SV-Benchmarks repository: <a href="https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1634">https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1634</a></p> |
| title | Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation' |
| url | https://doi.org/10.5281/zenodo.17264464 |