An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools. - Bruno Dia; Naghmeh Ramezani Ivaki; Nuno Laranjeiro (PRDC, 2021)