ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Вторник
4 августа
/970383
Топик полностью
Evgeny_CD, Архитектор (13.01.2020 23:38, просмотров: 9) в ответ на [Satisfiability modulo theories, SMT, задача выполнимости формул в теориях] Мощнейший математический аппарат для формальной верификации ПО (в том числе). - автор: Evgeny_CD
[CVC4] is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. -> ссылка ссылка
Ответить