m1rko 23 января 2019 в 23:09Почему люди не используют формальные методы?Всего голосов 35: ↑35 и ↓0 +35 Просмотры10.8KДобавить в закладки 103 Комментарии 18
scp1001 22 апреля 2019 в 15:42Формальная верификация на примере задачи о волке, козе и капустеВсего голосов 34: ↑33 и ↓1 +32 Просмотры8.3KДобавить в закладки 55 Комментарии 50
scp1001 29 апреля 2019 в 17:32Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и PythonВсего голосов 17: ↑13 и ↓4 +9 Просмотры4.2KДобавить в закладки 46 Комментарии 3
potan 14 августа 2019 в 13:39Ловим кота с TLA+Всего голосов 24: ↑22 и ↓2 +20 Просмотры4.6KДобавить в закладки 27 Комментарии 5
potan 31 мая 2020 в 13:34Очередной подход к RS-триггеру, теперь с TLA+Всего голосов 5: ↑5 и ↓0 +5 Просмотры1.7KДобавить в закладки 13 Комментарии 0
