Formal Modeling and Verification of Blockchain System
Formal methods: state of the art and future directions