ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Вторник
4 августа
/845433
Топик полностью
Evgeny_CD, Архитектор (02.06.2018 02:41, просмотров: 16) в ответ на [Z3] - Satisfiability Modulo Theories (SMT) solver от....Microsoft Research. - автор: Evgeny_CD
Не забываем, что есть еще одна система формальной верификации - TLA, TLA+, PlusCal, TLC model checker, TLAPS - Temporal Logic of Actions от Microsoft Research -> ссылка
Ответить