People are working on formal verification of solidity code: https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts https://forum.

People are working on formal verification of solidity code: https://forum.ethereum.org/discussion/3779/formal-verification-for-solidity-contracts https://forum.ethereum.org/discussion/3779/formal-verificati...