Login / Signup
Formal Requirement Enforcement on Smart Contracts Based on Linear Dynamic Logic.
Naoto Sato
Takaaki Tateishi
Shunichi Amano
Published in:
iThings/GreenCom/CPSCom/SmartData (2018)
Keyphrases
</>
dynamic logic
modal logic
imperative programs
reasoning about actions
neural network
machine learning
supply chain
multiple input
data sets
expert systems
multi dimensional
formal model
smart environments
linear systems
propositional dynamic logic