cl-banner

A Report on the Certification Problem Format

René Thiemann

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

Abstract

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

BibTeX 

@inproceedings{RT-WST12,
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{http://cl-informatik.uibk.ac.at/wst2012/}"
}
Nach oben scrollen