Smart Contract Design Meets State Machine Synthesis: Case Studies.

Dmitrii Suvorov Vladimir Ulyantsev

Published in: CoRR (2019)

Keyphrases

case study
state machine
design process
engineering design
lessons learned
open source
functional decomposition
databases
information systems
multi agent systems
supply chain
software development
fault tolerant
finite state machines