http://termination-portal.org/wiki/Termination_Competition

https://tacas.info/toolympics.php

Old Termination notes