Verisol - Свежие новости | |
Microsoft хочет исправить смарт-контракты Ethereum при помощи VeriSol
Технологический гигант решил помочь Виталику Бутерину с исправлением ошибок в его детище. Новая формальная схема проверки смарт-контрактов поможет бороться с неточностями языка Solidity. Название VeriSol намекает на сочетание слов «Verified» и «Solidity». дальше »
2019-6-7 09:42 | |
|
Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума
В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для смарт-контрактов, которые затем можно будет протестировать с использованием математической логики. дальше »
2019-6-6 17:31 | |
|
|
Microsoft announces VeriSol: Ethereum smart contract verification
Microsoft announced the development of an open-source formal Ethereum smart contract verification scheme for the Solidity programming language. Announced on the Microsoft blog, the tool will be called VeriSol–Verifier for Solidity. дальше »
2019-6-5 17:22 | |
|
|