cloud
LDL Tools Publications
Type to start searching
    GitHub
    GitHub
      • ldlsat
      • dsl4sc
      • scxmlrun
    • Downloads
    • Publications
    • License
    • About
    

    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)]

    Previous Downloads
    Next License
    powered by MkDocs and Material for MkDocs