Formal Verification Testing uses a
tool in an automated fashion as part of a test suite. For example, a formal verification test providing confidence that a token conforms to the ERC20 standard could be used as part of an automated testing workflow and protect against regression.