ВходНаше всё Теги codebook PARTS Поиск Опросы Закон Суббота
8 августа
/970382
Топик полностью
Evgeny_CD, Архитектор (13.01.2020 23:31, просмотров: 17) в ответ на [Смартконтракты, Solidity и наше светлое будущее] Концепт. - автор: Evgeny_CD
Однако при сборке компилятора опционально используются Z3 -> Satisfiability Modulo Theories (SMT) solver от Microsoft Research, а также CVC4 --> то же самое от project of Stanford University and U Iowa. Т.е. оно содержит в себе ссылка ссылка формальное доказательство непротиворечивости!!!
Ответить