Средства и методы разработки

845433 Топик полностью

Evgeny_CD^{Архитектор} (02.06.2018 02:41, просмотров: 343) ответил Evgeny_CD на [Z3] - Satisfiability Modulo Theories (SMT) solver от....Microsoft Research.

Не забываем, что есть еще одна система формальной верификации - TLA, TLA+, PlusCal, TLC model checker, TLAPS - Temporal Logic of Actions от Microsoft Research -> http://caxapa.ru/843547.html

Ответить