Аксиоматический метод верификации на основе декомпозиции состояний в методе RGSEP

Математическое моделирование: методы, алгоритмы, технологии
Авторы:
Прокопенко Артем Сергеевич Тормасов Александр Геннадьевич
Аннотация:

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