Formal Process Virtual Machine for Smart Contracts Verification.

Zheng Yang Hang Lei

Published in: CoRR (2018)

Keyphrases

virtual machine
operating system
databases
process model
data center
development process
formal methods