An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools.

Bruno Dia, Naghmeh Ramezani Ivaki, Nuno Laranjeiro

Browse the full PRDC paper archive.