Розумний аналізатор контрактів дебютує на конференції Ethereum

Дослідники незабаром відкриють код інструменту, призначеного для оцінки коду смарт-контракту Ethereum .