80 citations · 128 across the 5 of their papers we have counts for
1 paper · 1 filter
Ákos Hajdu, Dejan Jovanović
We present solc-verify, a source-level verification tool for Ethereum smart contracts. Solc-verify takes smart contracts written in Solidity and discharges verification conditions…