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