Akademik

доказательство правильности завершения
proof of termination

Большой англо-русский и русско-английский словарь. 2001.