Подборка книг по QA без Романа Савина +8
- Блог компании Альфа-Банк
- Тестирование IT-систем
- Тестирование игр
- Профессиональная литература
- Читальный зал
Публикации с тегом верификация программ
Формальная верификация смарт-контрактов +2
5 шагов, как построить и доказать безопасность СЗИ с помощью математического аппарата +3
А ваш фильтр Калмана правильно работает? +22
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
Автоматическое порождение программ, обратная задача и некоторые связанные с ними решения +10
Позволит ли формальная верификация кода микроядра создавать сверхнадежные ОС +21
Делай IT-маркетинг: почему нужно бывать на хакатонах -2
