

Publications

• Naoto Sato, Takaaki Tateishi, and Shunichi Amano,
  "Formal Requirement Enforcement on Smart Contracts based on Linear Dynamic Logic",
  In the Proceedings of the first IEEE International Conference on Blockchain.
  Halifax, Canada, Jul 2018.
  doi: 10.1109/Cybermatics_2018.2018.00181
  [paper (preprint)] [slides]

• T. Tateishi, S. Yoshihama, N. Sato, and S. Saito,
  "Automatic Smart Contract Generation Using Controlled Natural Language and Template",
  IBM Journal of Research and Development,
  Feb 2019.
  [paper (preprint)]