-
Notifications
You must be signed in to change notification settings - Fork 2
Developer Guidelines
Mojtaba Eshghie edited this page Jul 3, 2024
·
1 revision
Provided that the business logic of the smart contract is captured in a DCR Graphs model, you can use the monitor based on the DCR graphs in two way:
- Oracle for model-based testing (pre-deployment)
- Monitor for malicious transactions (post-deployment)