История изменений
Исправление theNamelessOne, (текущая версия) :
Я это понимаю, в моем сообщении стоило написать «under-constrained execution анализом программ».
Исходная версия theNamelessOne, :
Я понимаю, в моем сообщении стоило написать «under-constrained execution анализом программ».