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!
|
Table of 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>