Очередной подход к RS-триггеру, теперь с TLA+ +5 31.05.2020 10:34 potan 0 Анализ и проектирование систем Математика FPGA Схемотехника
Ловим кота с TLA+ +20 14.08.2019 10:39 potan 4 Блог компании Waves Программирование Анализ и проектирование систем Математика Логические игры
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8 29.04.2019 14:32 scp1001 3 PHP Python Децентрализованные сети Информационная безопасность Ненормальное программирование
Формальная верификация на примере задачи о волке, козе и капусте +27 22.04.2019 12:42 scp1001 48 Информационная безопасность Из песочницы
Почему люди не используют формальные методы? +29 23.01.2019 20:09 m1rko 16 Программирование Математика
