DogWood: Мониторинг политик с использованием первой порядковой темпоральной логики

Проект DogWood представляет собой подход к мониторингу политик безопасности или конфигураций с применением формальных методов, а именно логики первого порядка и темпоральной логики. Это позволяет строго верифицировать соответствие системы заданным правилам во времени.