Open AccessSmart Contract modeling and verification techniques: A survey
Author(s) -
Adnan Imeri,
Nazim Agoulmine,
Djamel Khadraoui
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , smart contract , model checking , process (computing) , software engineering , business process , formal verification , model transformation , distributed computing , computer security , blockchain , programming language , work in process , engineering , operations management , consistency (knowledge bases) , artificial intelligence