Automated verification of termination certificates