A METHOD AND SYSTEM FOR DETECTING AND PREVENTING ISSUES IN SMART CONTRACTS BASED ON… Application EP-3769244-A4 European Patent Office 08 Dec 2021