Сколько известно подходов для алгоритмов верификации кода, позволяющие снизить их сложность и добиться терминируемости:

Правильный ответ:

• # Процессор, на котором запускается приложение в первый раз:
• # Маска, назначаемая потоку, должна быть:
• # Для .NET верно:
• # Передача управления внутрь защищенных областей, из них и между ними и их обработчиками регламентирована следующими правилами:
• # Дуги графа потока управления изображают: