Статическая проверка требований и подходы к решению проблемы достижимости

за авторством Потиенко, С.В.
Опубліковано 2009

Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами

за авторством Потиенко, С.В.
Опубліковано 2008

Организация базы знаний о переходах системы с атрибутами перечислимых типов

за авторством Потиенко, С.В.
Опубліковано 2012

Обратная трансформация формул в символьном моделировании: от результата к исходной формуле

за авторством Годлевский, А.Б., Потиенко, С.В.
Опубліковано 2010

Метод генерации тестовых данных по исходному коду Java программ

за авторством Колчин, А.В., Потиенко, С.В.
Опубліковано 2016

Интерактивный метод автоматизированного создания тестового набора для формальных моделей программных систем...

за авторством Колчин, А.В., Потиенко, С.В.
Опубліковано 2018

Метод извлечения логики поведения из промышленного программного кода на языке Кобол

за авторством Губа, А.А., Колчин, А.В., Потиенко, С.В.
Опубліковано 2016

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем...

за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
Опубліковано 2014

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

за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
Опубліковано 2015

Обзор современных систем и методов верификации формальных моделей

за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Опубліковано 2012

Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ...

за авторством Волков, В.А., Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
Опубліковано 2017

Свойства предикатного трансформера системы VRS

за авторством Летичевский, А.А., Годлевский, А.Б., Летичевский, А.А. (мл.), Потиенко, С.В., Песчаненко, В.С.
Опубліковано 2010