16+
Вторник
28 января
Вход |Карта сайта |Upload |codebook | PARTS

 О смысле всего сущего 0xFF

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

 Мобильная и беспроводная связь

 Блошиный рынок Объявления

caxapa

Микроконтроллеры ARM 

AVR PIC MSP PLD,FPGA,DSP 

Кибернетика Технологии 

Схемы, платы, компоненты 

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

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

Тема выделяется по переводу строки или автоматом

 

Имя


Регистрация позволит вам редактировать и перемещать ваши сообщения и прикреплять к ним файлы.
 
Символы: á é ó ú ý « »
Главная | Карта сайта | О проекте | Проекты | Файлообменник | Регистрация | Вебмастер | RSS
Лето 7528 от сотворения мира. При использовании материалов сайта ссылка на caxapу обязательна.
MMI © MMXX