5 citations · 9 across the 2 of their papers we have counts for
1 paper · 2 filters
Ao Li, Jemin Andrew Choi, Fan Long
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…