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

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