Building Executable Secure Design Models for Smart Contracts with Formal Methods.

Weifeng Xu Glenn A. Fink

Published in: Financial Cryptography Workshops (2019)

Keyphrases

formal methods
formal specification
process algebra
reactive systems
model checking
formal analysis
artificial intelligence
knowledge based systems
metamodel
development lifecycle
model checker
process model
source code
software engineering
design process
supply chain
probabilistic model
user interface