Парсим строки с SMT-решателем +20
Публикации с тегом z3
Бэкдор АНБ в карманном телексе 1984 года — история повторяется +30
Карманное руководство по Z3 +12
Математическое расследование, как подделывали выборы губернатора в Приморье 16 сентября 2018 года +348
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
Почему люди не используют формальные методы? +29
Triton vs Kao’s Toy Project. Продолжаем хорошую традицию +25
