History - Сборка модели и воспроизведение доказательств - Инструменты дедуктивной верификации моделей политик безопасности - Open-Source Projects