Text this: Automatic construction and verification algorithm for smart contracts based on formal verification