Решаем задачу про ферзей при помощи SMT-солвера +6
Публикации с тегом smt
Голова на подушке, попкорн и песочные часы: какие дефекты можно встретить при рентген-контроле качества печатных узлов +35
Умножение матриц и SMT – почему бы и нет? +23
Два потока, одно ядро: как устроена одновременная многопоточность
Формальные методы проверки смарт-контрактов
Использование скрытого потенциала: как я активировал Intel AMT на мини-ПК от HP и получил удаленный доступ +84
Парсим строки с SMT-решателем +20
Бэкдор АНБ в карманном телексе 1984 года — история повторяется +30
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
Почему люди не используют формальные методы? +29
SMT-решатель на iPhone +15
Курс MIT «Безопасность компьютерных систем». Лекция 10: «Символьное выполнение», часть 3 +21
- Программирование
- Информационная безопасность
- Анализ и проектирование систем
- IT-инфраструктура
- Блог компании ua-hosting.company
Курс MIT «Безопасность компьютерных систем». Лекция 10: «Символьное выполнение», часть 2 +18
- Программирование
- Информационная безопасность
- Анализ и проектирование систем
- IT-инфраструктура
- Блог компании ua-hosting.company
Курс MIT «Безопасность компьютерных систем». Лекция 10: «Символьное выполнение», часть 1 +21
- Программирование
- Информационная безопасность
- Анализ и проектирование систем
- IT-инфраструктура
- Блог компании ua-hosting.company
