A Termination Checker for Isabelle Hoare Logic.

Jia Meng, Lawrence C. Paulson, Gerwin Klein

Browse the full CADE paper archive.