Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB

Леонова М.А., Девянин П.Н.
Сравнение способов моделирования механизмов управления доступом ОС и СУБД на формализованном языке метода Event-B с целью их верификации инструментами Rodin и ProB // Прикладная дискретная математика. 2022. Приложение № 15. С. 90–99. DOI 10.17223/2226308X/15/22.

Перейти к источнику