Runtime Verification Inc provides Formal Smart Contract Verification services.
If you are still in the process of deciding between auditing or formally verifying your…
hello.medium
contract Greeter { string public message; function Greeter(string _message) public { message = _message; }
}