Prepare smart contracts for formal verification
Prepare this contract for formal verification:
```
${{CONTRACT_CODE}}
```
Properties to Verify: ${{PROPERTIES}}
Verification Tool: ${{VERIFICATION_TOOL}}
Preparation guide:
1. Code restructuring for verification
2. Property specification writing
3. Invariant formalization
4. Pre/post condition definitions
5. Loop…Premium Prompt
Unlock this prompt — and all 30,000+ expert-crafted prompts — with Pro.
Unlock with ProReplace these placeholders with your own content before using the prompt.
[{CONTRACT_CODE][{PROPERTIES][{VERIFICATION_TOOL]