Overview

Набор инструментов для верификации моделей политик безопасности и их реализаций в ответственных системах.

Набор инструментов в настоящий момент состоит из двух частей: