Program
Verification
Book

TPDB

TPDB: Termination Problem Data Base https://www.lri.fr/~marche/tpdb/format.html Format to specify Term rewrite systems (TRSs)

Specification format

ProVerB specific

Markdown description: view/edit
Contained in the ProVerB22 dataset (paper + artefact)

ProVerB is a part of SLEBoK. Last updated: February 2023.