A Report on the Certification Problem Format

René Thiemann

Proceedings of the 12th International Workshop on Termination (WST 2012), pp. 89 – 93, 2012.


We show how the certification problem format is beneficial for certification of termination proofs. We further highlight some of its design decisions and mention problems that are open for discussion.


  PDF |  © Creative Commons License – NC – ND


author = "Ren{\'e} Thiemann ",
title = "A Report on the {C}ertification {P}roblem {F}ormat",
booktitle = "Proceedings of the 13th International Workshop on Termination",
editor = "Georg Moser",
pages = "89--93",
year = 2012,
note = "\url{}"
Nach oben scrollen