Бодин Е.В. Spin для головоломок: Использование системы проверки моделей SPIN для решения японской головоломки о переправе через реку и головоломки "Куб-1" // № 2, 2013
Визовитин Н.В., Непомнящий В.А., Стененко А.А. Верификация UCM моделей с конструкциями управления сценариями с помощью раскрашенных сетей Петри // № 7, 2016
Кулямин В.В., Петренко А.К., Хорошилов А.В. Верификация компонентов операционных систем // № 10, 2017
Зюбин В.Е., Лях Т.В. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // № 8, 2016
Кондратьев Д.А., Марьясов И.В., Непомнящий В.А. Верификация финитной итерации над массивами с выходом из цикла в Си программах // № 10, 2017
Кондратьев Д.А., Промский А.В. Комплексный подход к локализации ошибок при верификации Си-программ // № 1, 2013
Старолетов С.М., Дубко А.В. Метод верификации параллельного и распределенного программного обеспечения на C# путем проведения трансформации абстрактного синтаксического дерева Roslyn в модель на Promela // № 15, 2019
Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // № 10, 2017
де Карвальо Д.., Маццара М.., Мингела Б.А., Сафина Л.Р., Трошков Н.Е., Чичигин А.Д. Статическая проверка типов для языка Jolie // № 10, 2017
