Инструмент для формальной верификации Rust-кода: он проверяет спецификации для всех возможных выполнений, не добавляя проверок во время работы программы.
3,4 тыс.239RustMITОбновлён 6 часов назад
#smt
Open source проекты по теме «smt»
Отобранные репозитории GitHub по теме smt с описаниями от ИИ и ключевыми метриками.
Сортировка:Недавно добавленные
1 репозиторий