Посредством формальной спецификации некоторые выделенные свойства программной или аппаратной системы представлены в виде модели, которая затем верифицирована. С помощью различных инструментальных средств анализа доказано, имеет ли модель требуемые зафиксированные свойства реальной системы. Описано применение формализма сетей Петри к исследованию свойств телефонной системы, основанное на использовании методов линейной алгебры.

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"