Приведен краткий обзор использования формальных методов в области спецификации и верификации, где основное внимание уделено методам проверки на модели (model checking) и доказателей теорем (theorem proving). Обсуждены другие возможные направления и фундаментальные концепции в области интеграции различных методов, технологические и технические трудности при применении формальных методов.

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