Применяем TLA+ на практике Привет, Хабр! Меня зовут Сергей, я работают в компании InfoWatch разработчиком на …
Применяем TLA+ на практике Привет, Хабр! Меня зовут Сергей, я работают в компании InfoWatch разработчиком на продукте ARMA Стена (NGFW). Подробнее о том, что такое ARMA Стена, можно прочитать тут.В этой статье я хочу поделиться опытом применения метода формальной верификации в решении практической бизнес-задачи.Сразу оговорюсь, что в статье используется TLA+, без введения в инструмент, чтобы не увеличивать объём статьи... https://clck.ru/3S8DrQ
Автор: Habr все новости об IT