Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8 29.04.2019 14:32 scp1001 3 Информационная безопасность PHP Python Ненормальное программирование Децентрализованные сети
Формальная верификация на примере задачи о волке, козе и капусте +27 22.04.2019 12:42 scp1001 48 Информационная безопасность Из песочницы
Микроядро seL4. Формальная верификация программ в реальном мире +43 24.01.2019 15:47 m1rko 23 Информационная безопасность Софт Системное программирование Транспорт будущего Математика