Naoto Sato, Takaaki Tateishi, Shunichi Amano. Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic. In IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData), iThings/GreenCom/CPSCom/SmartData 2018, Halifax, NS, Canada, July 30 - August 3, 2018. pages 945-954, IEEE, 2018. [doi]
Abstract is missing.