Английский-Русский Перевод

English version

как сказать loop invariant analysis по-английски, 
скажи loop invariant analysis "loop invariant analysis" перевод