Formal specification of a security framework for smart contracts.

Mikhail Mandrykin Jake O'Shannessy Jacob Payne Ilya Shchepetkov

Published in: CoRR (2020)

Keyphrases

formal specification
specification language
relational databases
supply chain
production system
software components
specification languages
fuzzy logic
intrusion detection
model checking
formal methods