Крывый С. Л. Формальные методы в исследовании свойств программных систем / С. Л. Крывый // Пробл. программирования. - 2002. - 1-2 [спец. вып.]. - С. 147-153. - Библиогр.: 54 назв. - рус.
Приведен краткий обзор использования формальных методов в области спецификации и верификации, где основное внимание уделено методам проверки на модели (model checking) и доказателей теорем (theorem proving). Обсуждены другие возможные направления и фундаментальные концепции в области интеграции различных методов, технологические и технические трудности при применении формальных методов.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"