Security, Audit, Formal Verification, Bridge, Blockchain.
correctness — its ability to behave as intended — with respect to a particular formal specification. The specification is made up of a series of statements, written in a formal language, that describe the intended execution paths of the smart contract. A verification tool is given both the