There is a newer version of the record available.

Published October 4, 2025 | Version ASE25-proceedings-pre
Dataset Open

Non-termination Witnesses in Format 2.1 for ASE 2025 Article `Non-termination Witnesses and Their Validation'

Authors/Creators

  • 1. ROR icon Budapest University of Technology and Economics
  • 2. ROR icon Masaryk University
  • 3. ROR icon Ludwig-Maximilians-Universität München

Description

Non-termination witnesses in witness format 2.1 for programs Ex02.c and nonterminating-loop.c.

These witnesses were contributed as part of the following research paper:

Non-termination Witnesses and Their Validation.
by Zs. Ádám, P. Ayaziová, L. Bajczi, D. Beyer, M. Jankola, M. Lingsch-Rosenfeld, and J. Strejček.
Proc. ASE. IEEE (2025).

Also available in the SV-Benchmarks repository: https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/merge_requests/1634

Files

non-termination-witnesses-artifact-ASE25-proceedings.zip

Files (34.8 kB)