Семинары лаборатории языковых инструментов JetBrains Research +8
Публикации с тегом формальная верификация
Анализ кода систем повышенной надежности +5
Всесторонний статический анализ с применением продуктов Polyspace +3
Создание системы формальной верификации с нуля. Часть 1: символьная виртуальная машина на PHP и Python +8
Формальная верификация на примере задачи о волке, козе и капусте +27
Микроядро seL4. Формальная верификация программ в реальном мире +43
