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.

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/}"
}