Formal Verification of Blockchain Smart Contracts via ATL Model Checking[J] IEEE ACCESS 2022(10) Nam, Wonhong Kil, Hyunyoung
