| |
Сравнение способов декомпозиции спецификаций на EVENT-B [Текст] / П. Н. Девянин, В. В. Кулямин, А. К. Петренко [и др.]
// Программирование. – 2016. – № 4. – С. 17-26.
В статье анализируется опыт, полученный при дедуктивной верификации формальной спецификации мандатной сущностно-ролевой модели управления доступом и информационными потоками в ОС семейства Linux с использованием формального метода Event. |
