Стартап Veriflow разработал технологию, которая позволяет применять формальную верификацию для анализа структуры сложных корпоративных сетей. Она обнаруживает все возможные пути передачи данных и заранее выявляет ошибки, изъяны и уязвимости в организации сети.