Formal Modeling and Verification of Blockchain System
A Temporal Blockchain: A Formal Analysis