точка разреза (в программе, которая требует формального доказательства частичной правильности)
CUT-POINT
Англо-русский перевод CUT-POINT
Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005