Ensure that a verified contract satisfies the following high-level requirements:
Category “V12” lists requirements related to the testing process of the smart contracts.
| # | Description |
|---|---|
| 12.1 | Verify that considered as sensitive functions of verified contract are covered with tests in the development phase. |
| 12.2 | Verify that the implementation of verified contract has been checked for security vulnerabilities using static and dynamic analysis. |
| 12.3 | Verify that the specification of smart contract has been formally verified. |
| 12.4 | Verify that the specification and the result of formal verification is included in the documentation. |
For more information, see also: