Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Andrew Choi"'
Publikováno v:
PLDI
We present Solythesis, a source to source Solidity compiler which takes a smart contract code and a user specified invariant as the input and produces an instrumented contract that rejects all transactions that violate the invariant. The design of So