The Complex(ity) Landscape of Checking Infinite Descent (Software Artifact)

  • Liron Cohen (Creator)
  • Adham Jabarin (Creator)
  • Andrei Popescu (Creator)
  • Reuben Nathaniel Simon Rowe (Creator)

Dataset

Description

Accompanying artifact for POPL2024 paper submission, containing the following: Extension of the Cyclist automated theorem prover (cyclist-prover.org) by new algorithms for checking the Infinite Descent property. Experimental dataset for algorithms checking Infinite Descent.
Date made available5 Nov 2023
PublisherZENODO

Access Dataset

Cite this