Побудований технологічний процес аналізу властивостей алгоритмічної схеми на прикладі криптографічного протоколу Діффі-Хеллмана. Цей процес може бути застосовано для верифікації властивостей реактивних систем як статичного, так і динамічного характеру. Наведений технологічний процес повністю автоматичний.
Technological process of analysis of properties of the algorithmic scheme on an example of cryptographic protocol of Diffie-Hellman is constructed This process is applicable to verification of properties of reactive systems as static character so run-time.