Предикаты безопасности для дополнительного анализа при частичной эмуляциитезисы доклада