Аннотация:
Методи аналізу логічної правильності протоколів поділяються на методи аналізу коректності і методи верифікації. Під коректністю розуміють наявність загальних для усіх протоколів і сервісів властивостей: відсутність блокувань, повнота, скінченність, відсутність надмірних станів, обмеженість, однозначність, здатність до відновлення після непередбачених ситуацій.