Процесс массовой миграции населения связан с разрушением не только традиционных сообществ, но и реконструкцией урбанизированных пространств. В этих условиях люди вынуждены вступать во взаимоотношения друг с другом не имея возможности верифицировать контакт по отношению друг к другу. Разрушение внутренних структур, снижает возможность верифицировать человека через социальные взаимодействия и рекомендации тех членов этого сообщества, которым человек или группа людей доверяет. Более того, сообщества не могут накладывать стигматизирующие санкции, на неблагонадёжные элементы или передавать, по социальным сетям информацию об опасностях сопровождающих взаимодействие с теми или иными людьми. Все это не только усугубляет ситуацию социальной неопределенности, но и наращивает риски от каждого потенциального взаимодействия. Возрастающее социальное недоверие усугубляет разрыв между разными сегментами городского пространства, консервирую обоюдную насторожённость и обособленность.
Российское социологическое сообщество: история, современность, место в мировой науке / Материалы научной конференции к 100-летию Русского социологического общества имени М.М. Ковалевского 10-12 ноября 2016 года. / Отв. редактор: Ю.В. Асочаков. СПб.: Скифия-принт, 2016. – 1634 с. С. 1625-1627

В статье предложены формализмы, определяющие правила композиции и согласования Web-сервисов, позволяющие объединить элементы распределенной системы в единое целое. Приведен пошаговый метод верификации распределенных систем, базирующийся на модельном подходе, позволяющий учитывать асинхронную природу комплексных сервисов, а также выполнять динамическую проверку.
Ткачева Елена Борисовна, Иссам Саад, Раед Яхя Абдулгхафур Метод верификации комплексных Web-сервисов // Проблеми телекомунікацій, Vol. 2014, Issue 1, 2014, pp. 63-73

Рассмотрены основные способы построения тестовых систем и эталонных программных моделей для автономной верификации модулей микропроцессоров. Предложены подходы к организации взаимодействия тестовых систем и эталонных событийных моделей, а также методы адаптации компонентов программных моделей микропроцессоров. Описан опыт разработки и применения высокоуровневой событийной модели для автономной верификации не конвейерного модуля микропроцессора.

_
Стотланд И.А. автореферат диссертации на соискание ученой степени кандидата технических наук / Московский государственный технический университет радиотехники, электроники и автоматики. Москва, 2012

Описывается инструментальный программный комплекс для модельного/дедуктивного/визуального контроля правильности управляющих алгоритмов реального времени
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №7 (38), 2012 г.С 59-66

Описывается текущая ситуация с созданием бортового программного обеспечения в аэрокосмической отрасли, описываются проблемы и намечаются пути их решения.
Управление большими системами. Сборник трудов. Инс-т проблем управления им. В.А.Трапезникова РАН, Вып.39 2012, с. 288-299

Описано применение визуального подхода к верификации управляющих программ
Вестник Самарского государственного аэрокосмического университета им. академика С.П. Королёва (национального исследовательского университета), №1 (32), 2012 г.С 219-225

описано применение логического вывода для установления непротиворечивости (верификации) спецификаций управляющих бортовых программ реального времени для космических аппаратов
Управление движением и навигация летательных аппаратов : Сборник трудов XV Всероссийского семинара по управлению движением и навигации летательных аппаратов: Часть I / Самар. гос. аэрокосм. ун-т. Самара, 2012 С 157-160

констатируются имеющиеся проблемы, предлагаются направления совершенствования процессов создания ПО в космической отрасли
Системный анализ, управление и навигация: Тезисы докладов.-М.: Изд-во МАИ, 2012. С.77-79 ISBN 978-5-4316-0067-8

представлены алгебраические и логические модели для управляющих программ в свете их спецификации, верификации и синтеза
Тез.докладов 11-й Международной конференции "Системный анализ, управление и навигация". Евпатория, 2006.