Formal Analysis and Adoption of Checks-Effects-Interactions Pattern for all Smart Contracts (Claimholder, ClaimVerifier, Identity, Keyholder)

[nathanawmk]

Like to propose to Incorporate Formal Analysis and ensuring Checks-Effects-Interactions Pattern for all Smart Contracts in the project (Claimholder, ClaimVerifier, Identity, Keyholder) to avoid any DAO semblance attack

Formal Verification Tool: https://github.com/pirapira/ethereum-formal-verification-overview

https://solidity.readthedocs.io/en/v0.4.24/security-considerations.html

Please let me know if this is doable and possible. Thank you.

Nathan Aw (Singapore)